Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Simon Friis Vindum
Iris
Repository
3588f20460c8830ea98d78953b388c797c83a709
Switch branch/tag
iris
CHANGELOG.md
Find file
Blame
History
Permalink
Notation for disjointness: replace ⊥ with ##, so that ⊥ can be used for bottom.
· 3588f204
Jacques-Henri Jourdan
authored
Oct 27, 2017
This is to be used on top of stdpp's 4b5d254e.
3588f204
To find the state of this project's repository at the time of any of these versions, check out
the tags
.