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

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

Dependently-typed tactics and certificate checking in Meta Dedukti

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

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

environnement pour cours Algorithmique et Programmation

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

Decision procedure for SL used in specification of memory allocators

fiches d'ue pour le master (cf le système de Samy pour la licence)

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