summaryrefslogtreecommitdiff
path: root/AvlVerification/Find.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-23feat: close `find` / `insert` proofsRaito Bezarius1-42/+0
2024-04-18feat: outline of `find` proofRaito Bezarius1-0/+42