tobast/mpri-coq-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Update deadlines

Browse source
This commit is contained in:
Théophile Bastian 2017-10-26 14:43:31 +02:00
parent 23ca813c8c
commit 94bc771b16
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
README.md
View file

@ -1,3 +1,6 @@
# mpri-coq-project
Projet de cours Coq (2.7.1) du MPRI — WP.
Projet de cours Coq (2.7.1) du MPRI — WP.
Deadline : probablement jusqu'à ~exam, rien de fixe.
(Examen : probablement 30/11, ~14h)