Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removing dead code in checker/univ.ml. | 2014-06-10 | |
* | Removing explanations of universe inconsistencies from the checker. They | 2014-06-10 | |
* | Providing the checker with its own version of the Univ file. | 2014-06-10 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Removing dead code in checker/univ.ml. | 2014-06-10 | |
* | Removing explanations of universe inconsistencies from the checker. They | 2014-06-10 | |
* | Providing the checker with its own version of the Univ file. | 2014-06-10 |