Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
base_logic
lib
ghost_var.v
Find file
Blame
History
Permalink
add a simple logic-level ghost_var library
· eec9bb1e
Ralf Jung
authored
Sep 15, 2020
and
Robbert Krebbers
committed
Sep 15, 2020
eec9bb1e