| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-16 | Fixing the "IllTypedInstance" anomaly part of #5512. | Hugo Herbelin | |
| It remains to accept resolving Type(u)<=Prop for u arbitrary sort variable. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |