Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

test.why 167 Bytes
Newer Older
1 2 3

(* test file *)

4 5 6 7 8 9 10 11 12 13 14
type 'a list 

logic nil  : 'a list

logic cons : 'a, 'a list -> 'a list

type int

logic length : 'a list -> int

logic is_nil : 'a list -> prop
15

16

17