/AvlVerification/

• ../
• BinarySearchTree.lean
• Insert.lean
• Specifications.lean
• Tree.lean