Base.lean « lean « backends - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/backends/lean/Base.lean

blob: f6a78bba1c2fae6f0195ae5857a944fc5d621393 (plain)

1
2
3

import Base.Primitives
import Base.Diverge
import Base.TestTactics