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

summary refs log tree commit diff

path: root/Verification.lean

blob: 31d81035b1584631a841c44a48cf419feeb40936 (plain)

1 2	`import Verification.Insert import Verification.Find`