| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-12-26 | Delete old overlays (leaving example) | Gaëtan Gilbert | |
| 2017-12-15 | [econstr] Switch constrintern API to non-imperative style. | Emilio Jesus Gallego Arias | |
| We remove a lot of uses of `evar_map` ref in `vernac`, cleanup step desirable to progress with EConstr there. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |