| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Update README | Yann Herklotz | 11 months | |
| Age | Commit message | Author | Files | Lines |
| 2023-06-02 | Update READMEHEADmain | Yann Herklotz | 2 | -92/+4 |
| 2023-05-17 | Add a simple makefile | Yann Herklotz | 1 | -0/+7 |
| 2023-05-17 | Add initial development files | Yann Herklotz | 11 | -1/+11023 |
| 2023-05-17 | Add initial files and smtcoq | Yann Herklotz | 3 | -0/+4 |
| 2023-05-02 | Initial commit | Yann Herklotz | 1 | -0/+92 |
| Clone | ||||
| https://git.ymhg.org/cohpred | ||||
| ssh://git@git.ymhg.org:cohpred | ||||
 |
index : cohpred | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |