aboutsummaryrefslogtreecommitdiffstats
path: root/LICENSE
Commit message (Expand)AuthorAgeFilesLines
* Tidy up project•••* Write README.md * Add LICENSE * Clean up some theorems and proofs Rutger Broekhoff2024-06-271-0/+30