Main.lean « hashmap_on_disk « lean « tests - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/tests/lean/hashmap_on_disk/Main.lean

blob: 9fe6cf4a9eb5817ab7ee89fc658f35a08db15db1 (plain)

import «HashmapMain»
import Base.Primitives

def main : IO Unit :=
  IO.println s!"Hello, {hello}!"