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

summary refs log tree commit diff

path: root/Main.lean

blob: be6e1dc6fad59db1c5398612e35373c78cf76fe4 (plain)

import «AvlVerification»
open Primitives

def Main := ""