theories/program_logic/lifting.v · 031c391455882431317a767d6653116cb27bea7a · Abhishek Anand / Iris · GitLab

May 23, 2018
031c3914
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
provide big_op lemmas outside of bi module
Ralf Jung authored May 23, 2018
```
There's a very low risk of these conflicting with Coq's standard library
```