summaryrefslogtreecommitdiff
path: root/AvlVerification/Tree.lean (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-04-12feat: upgrade and close all proofs except Preorder on U32Raito Bezarius1-3/+0
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-03-28refactor: generalize the theory and perform some liftsRaito Bezarius1-0/+81
Move forward the "HSpec" idea, move around files, construct the hierarchy of trees, etc. Signed-off-by: Raito Bezarius <masterancpp@gmail.com>