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

summary refs log tree commit diff

path: root/tests/lean/Hashmap.lean

blob: 35034754d41137a85dd70fe2c1c0ac4920446d0e (plain)

1 2	`import Hashmap.Funs import Hashmap.Properties`