Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
theories
program_logic
lifting.v
Find file
Blame
History
Permalink
provide big_op lemmas outside of bi module
· 031c3914
Ralf Jung
authored
May 23, 2018
There's a very low risk of these conflicting with Coq's standard library
031c3914