Explore projects

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

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 programmation fonctionnelle (M2 LMFI)

xeus gp

A parser for Dedukti first-order problems as produced by FoCaLiZe that can pretty-print the problems in other formats.