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

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

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

My PhD dissertation.

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