Explore projects
-
Updated
-
Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.
Updated -
Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)
Updated -
A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated