diff options
| author | Raito Bezarius | 2024-04-17 15:08:07 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-17 15:08:07 +0200 |
| commit | 945c630ec18e282bd0db731fb3f0b521e99de059 (patch) | |
| tree | 5eefbf30b7a41612d61a5fe26223a59398af4fa2 /AvlVerification/BinarySearchTree.lean | |
| parent | 117cd1c0afbc50ffc5a90473cb4c01185188711e (diff) | |
feat: add functional correctness of elements contained in the resulting tree
We revamp the typeclass mechanisms and we add an equality hypothesis
now.
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'AvlVerification/BinarySearchTree.lean')
0 files changed, 0 insertions, 0 deletions