| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-06-11 | [proof] Deprecate redundant wrappers. | Emilio Jesus Gallego Arias | |
| As we would like to reduce the role of proof_global in future versions, we start to deprecate old compatibility aliases in `Pfedit` in favor of the real functions underlying the 8.5 proof engine. We also deprecate a couple of alias types and explicitly mark the few remaining uses of `Pfedit`. | |||
| 2017-06-07 | Put "ssreflect" behind "API". | Matej Košík | |
| 2017-06-07 | Put all plugins behind an "API". | Matej Kosik | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |