Explore projects

Website of the GDR Informatique Fondamentale et ses Mathématiques. Preview: https://gdr-ifm.roulois.fr

Cours de Coq au M2 LMFI (partie 1 programmation fonctionnelle + partie 2 preuves formelles)

Application for booking engineer time by project submission.

A complete application for viewing Irif premises at a glance and managing office allocations.

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

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