| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-07-05 | Fix Canonical with universe polymorphism and primitive projection | Gaëtan Gilbert | |
| Perhaps we should thread an evar map with the Var universes added through to cs_pattern_of_constr but that would be significantly more invasive. Fix #12528 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |