Commit 211d905f authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

fix links

parent 1a97ca3f
Cours de Coq (M2 LMFI, Université de Paris)
===========================================
- [1-prog](Partie 1 : Programmation fonctionnelle en Coq)
- [2-preuves](Partie 2 : Preuves formelles en Coq)
- [Partie 1 : Programmation fonctionnelle en Coq](1-prog)
- [Partie 2 : Preuves formelles en Coq](2-preuves)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment