summaryrefslogtreecommitdiff
path: root/AvlVerification/BinarySearchTree.lean (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-04refactor: define some projectors for ForallNodeRaito Bezarius1-0/+6
2024-03-28refactor: generalize the theory and perform some liftsRaito Bezarius1-0/+37