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: 6e9ff8739b72deec59d4481b7fc79a636fee27d3 (plain)

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