| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-18 | Move the only use of strong_with_flags to its single calling module. | Pierre-Marie Pédrot | |
| This also allows to move the strong variant of cbn to the Cbn module. | |||
| 2020-06-04 | Move the Cbn module to tactics/. | Pierre-Marie Pédrot | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |