| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix #7323: coqchk puts polymorphic univs of inductive in global env |  Gaëtan Gilbert | 2018-05-24 |
| | | |||
| * | Fix #7327: coqchk subtyping of polymorphic constants | Gaëtan Gilbert | 2018-04-23 |
| | | |||
| * | Fix #6798: coqchk ignores ugraph when comparing constant instances | Gaëtan Gilbert | 2018-04-20 |
| | | |||
| * | Add test-suite checks for coqchk with constraints |  Jason Gross | 2017-05-30 |
| | | |||
| * | new test for coqchk |  Enrico Tassi | 2014-12-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |