Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
-
-
-
Continent du matériel d'enseignement que je souhaite rendre public
-
My PhD dissertation.
-
-
-
Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem
-
-
-
-
-
-
Decision procedure for SL used in specification of memory allocators
-
Rec to Dedukti translator
-