TypiCal

Internship Proposals

• Towards the Formal Certification of a Mathematical Encyclopedia on the Web, co-advised by Assia Mahboubi (TypiCal, Inria Saclay -- Île-de-France) and Fréderic Chyzak (Algo, Inria Paris-Rocquencourt)

The "Master Parisien de Recherche en Informatique" (MPRI)

• Homepage of the class Fondements des systèmes de preuves (course 2-7-1)
• Notes on Type Theory by Gilles Dowek (in French)