summaryrefslogtreecommitdiff
path: root/AvlVerification/Insert.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-28refactor: generalize the theory and perform some liftsRaito Bezarius1-0/+87