| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-04-02 | Remove the omega tactic and related options | Jim Fehrle |
| 2020-11-23 | Update compat infrastructure for 8.14 | Enrico Tassi |
| 2020-05-18 | Update to 8.13. | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |