Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
theories
bi
lib
fixpoint.v
Find file
Blame
History
Permalink
move general BI things using the proofmode down into lib/
· c2a8bce0
Ralf Jung
authored
Mar 21, 2018
c2a8bce0