Explore projects

Sage version of giacpy. (Cython frontend to the CAS giac)

Website of the GDR Informatique Fondamentale et ses Mathématiques. Preview: https://gdr-ifm.roulois.fr

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

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

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

xeus gp