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