aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Link to reserved Zenodo DOIHEADmainRutger Broekhoff2024-06-271-3/+6
* Update READMERutger Broekhoff2024-06-271-7/+14
* Update READMERutger Broekhoff2024-06-271-2/+3
* Be consistent in notation of simplify_eq/=Rutger Broekhoff2024-06-272-5/+5
* Update READMERutger Broekhoff2024-06-271-9/+15
* Tidy up project•••* Write README.md * Add LICENSE * Clean up some theorems and proofs Rutger Broekhoff2024-06-2711-287/+221
* Import Coq projectRutger Broekhoff2024-06-2618-0/+3717