/Verification/

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