Prochaines séances
by Damiano Mazza 28 May '15

28 May '15
Demain : Gdt + éclipse + séminaire
by Damiano Mazza 26 Mar '15

26 Mar '15

18 Mar '15
[TT in Coq] TP
by Micaela Mayero 13 Feb '15

13 Feb '15
Théorie des types en Coq
by Damiano Mazza 09 Feb '15

09 Feb '15