Ce projet propose des ressources pédagogiques pour les cours de preuves assistées par ordinateur et de preuve formelle. Il s'adresse principalement aux étudiants en informatique de niveau master, notamment ceux suivant les cours du M1 Informatique ou du M2 LMFI à Paris Diderot. Les documents couvrent des concepts théoriques et pratiques liés à la vérification et à la formalisation des preuves en informatique.