Merge branch 'robbert/relations_alt' into 'master'
Prove more equivalences for closure operators on relations. See merge request iris/stdpp!278
No related branches found
No related tags found
Checking pipeline status
Prove more equivalences for closure operators on relations. See merge request iris/stdpp!278