| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-04-16 | [zify] bugfix | Frederic Besson |
| 2020-06-20 | Add a pre-hook mechanism for the `zify` tactic | Kazuhiko Sakaguchi |
| 2020-06-14 | fix according to review by @pi8027 | Frédéric Besson |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |