Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update READMEHEADmain | Yann Herklotz | 2023-06-02 | 2 | -92/+4 |
* | Add a simple makefile | Yann Herklotz | 2023-05-17 | 1 | -0/+7 |
* | Add initial development files | Yann Herklotz | 2023-05-17 | 11 | -1/+11023 |
* | Add initial files and smtcoq | Yann Herklotz | 2023-05-17 | 3 | -0/+4 |
* | Initial commit | Yann Herklotz | 2023-05-02 | 1 | -0/+92 |