aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update READMEHEADmainYann Herklotz2023-06-022-92/+4
* Add a simple makefileYann Herklotz2023-05-171-0/+7
* Add initial development filesYann Herklotz2023-05-1711-1/+11023
* Add initial files and smtcoqYann Herklotz2023-05-173-0/+4
* Initial commitYann Herklotz2023-05-021-0/+92