Commits on Source (2)
-
Robbert Krebbers authoredb6647ba7
-
Robbert Krebbers authoreddc793fc2
Showing
- iris_unstable/algebra/monotone.v 86 additions, 145 deletionsiris_unstable/algebra/monotone.v
- iris_unstable/base_logic/algebra.v 1 addition, 13 deletionsiris_unstable/base_logic/algebra.v
- tests/monotone.ref 8 additions, 0 deletionstests/monotone.ref
- tests/monotone.v 11 additions, 37 deletionstests/monotone.v