Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | 2000-12-25 | |
* | MAJ | 2000-12-25 | |
* | Traduction en francais de 'CHANGES' dont le contenu était en français | 2000-12-22 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs | 2000-12-25 | |
* | MAJ | 2000-12-25 | |
* | Traduction en francais de 'CHANGES' dont le contenu était en français | 2000-12-22 |