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

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

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

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

Decision procedure for SL used in specification of memory allocators

Scripts Python exécutables en ligne de commande pour déposer des documents dans PolyPass avec l'API Sword.

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

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

A transfer tactic for Meta Dedukti

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

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem