README.md 199 Bytes
Newer Older
1 2
Cours de Coq (M2 LMFI, Université de Paris)
===========================================
3

Pierre Letouzey's avatar
Pierre Letouzey committed
4 5
- [Partie 1 : Programmation fonctionnelle en Coq](1-prog)
- [Partie 2 : Preuves formelles en Coq](2-preuves)