Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | |
* | Prise en compte noms longs | 2000-11-20 | |
* | module Metasyntax | 1999-12-01 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's... | 2000-11-22 | |
* | Prise en compte noms longs | 2000-11-20 | |
* | module Metasyntax | 1999-12-01 |