Project

General

Profile

Download (100 Bytes) Statistics
| Branch: | Tag: | Revision:
1
(* Generated by Frama-C WP *)
2

    
3
Goal typed_lemma_prout.
4
Hint property,prout.
5
Proof.
6
cofix H.
7

    
8
Qed.
9

    
10

    
(21-21/25)