An error occurred while fetching folder content.
Forked from
Iris / Iris
Source project has a limited visibility.
Robbert Krebbers
authored
Big op lemmas `big_op{L,L2,M,M2,S}_intuitionistically_forall`
See merge request iris/iris!560| Name | Last commit | Last update |
|---|---|---|
| .. | ||