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: 1f8cbc8eb6b2b1df9dfa1fbede68b65b2a7a6141 (plain)

1
2
3

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