Verification.lean - avl-verification - Isabelle fork of https://github.com/RaitoBezarius/avl-verification

summary refs log tree commit diff

path: root/Verification.lean

blob: 4a28407675753c8d62682b2ae1a8f8459926c20a (plain)

1
2
3

import Verification.Insert
import Verification.Find
import Verification.Order