Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
bi
plainly.v
Find file
Blame
History
Permalink
improve core: don't use implication
· ca49296b
Ralf Jung
authored
Mar 07, 2018
ca49296b