summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-29some isabelle/hol verificationHEADmainstuebinm1-24/+19
2024-04-18feat: make `find` extractableRaito Bezarius1-1/+1
2024-04-16feat: add `find` functionRaito Bezarius1-0/+13
2024-04-12feat: note on extraction for inductiveRaito Bezarius1-0/+2
2024-04-12feat: commit Rust alternativesRaito Bezarius2-0/+106
2024-03-25Initial extractionRaito Bezarius1-9/+7