Jean-Christophe Filliâtre

• Informatique - MP2I/MPI - CPGE 1re et 2e années
• Types for proofs and programs