Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
program_logic
lifting.v
Find file
Blame
History
Permalink
Merge branch 'ralf/bigop' into 'gen_proofmode'
· daeeaf05
Ralf Jung
authored
May 28, 2018
provide big_op lemmas outside of bi module See merge request FP/iris-coq!149
daeeaf05