| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-16 | Extend hack to use postponed constraints in retyping to template poly | Gaëtan Gilbert | |
| See 742ef62fe8050a6865d06bd644e30cbec0e7eb02 Fix #13366 Fix #9809 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |