summaryrefslogtreecommitdiff
path: root/AvlVerification.lean (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-04-12feat: upgrade and close all proofs except Preorder on U32Raito Bezarius1-9/+9
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
2024-03-25Initial extractionRaito Bezarius1-0/+87
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>