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

Documents pour le cours de programmation fonctionnelle (M2 LMFI)

My doctoral thesis.

Decision procedure for SL used in specification of memory allocators

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

Dependently-typed tactics and certificate checking in Meta Dedukti

Rec to Dedukti translator

A transfer tactic for Meta Dedukti

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)

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