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 Preuves de M1 (ou celui du M2 LMFI)

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

Giacpy is a python module interfacing with the c++ library giac through cython. So it provides in python most of the functionalites of the computer algebra system giac/xcas with a similar speed

xeus gp

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