Explore projects

Continent du matériel d'enseignement que je souhaite rendre public

Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)

Parser and well-sortedness checker for version 2.6 of SMT-LIB.

Prototype implementation of a mini-ML language with polymorphic variants and pattern matching using set-theoretic types.

Dependently-typed tactics and certificate checking in Meta Dedukti