| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-12-05 | Unfortunate bug with "cofix with": case of a CProdN over no bindings. | Hugo Herbelin | |
| Failing on CProdN([],...) was maybe a bit too radical. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |