Initiation à la recherche

Equipe LMV et parcours

Correction in distributed systems

Introduction à la correspondance Curry Howard

• Exercices - Deduction naturelle
• Introduction.v

Introduction à Rocq

• Exercices - Rocq