| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-24 | Fix Coqtail test directory. | whonore | |
| Tests moved in https://github.com/whonore/Coqtail/pull/134. | |||
| 2020-07-21 | Add Coqtail to CI | whonore | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |