Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
bi
interface.v
Find file
Blame
History
Permalink
pers-emp actually just needs `core ε = ε`
· 56056f66
Ralf Jung
authored
Mar 14, 2018
56056f66