aboutsummaryrefslogtreecommitdiffstats
path: root/lib/cohpred
Commit message (Expand)AuthorAgeFilesLines
* Update cohpred with renamed filesYann Herklotz2023-06-261-0/+0
* Finish some proofs and remove unnecessary AdmittedYann Herklotz2023-06-261-0/+0
* Add SMTCoq solver as dependencyYann Herklotz2023-06-211-0/+0
* Update cohpred libraryYann Herklotz2023-06-181-0/+0
* Update cohpred git submoduleYann Herklotz2023-06-141-0/+0
* Add CohPred and SMTCoq dependencyYann Herklotz2023-06-121-0/+0