| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-31 | Fix #8876: expected number of arguments for cumulative constructors | Gaëtan Gilbert | |
| ee573583701c8e53e8b82978998a9df93170cd79 ported to the checker. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |