Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
theories
algebra
cmra.v
Find file
Blame
History
Permalink
Merge branch 'pair_op_n' into 'master'
· b73c677c
Robbert Krebbers
authored
Jan 23, 2020
Add pair_op_1 and pair_op_2 See merge request
iris/iris!362
b73c677c