| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-10-14 | Fix #9851: anomaly when unsolved evar in Add Ring | Gaëtan Gilbert | |
| AFAICT there is no reason to use interp_open_constr I used Evd.from_ctx to keep passing evar maps around but maybe we should be passing ustates instead? | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |