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
Iris
stdpp
Repository
1bce0e36fee3a2f206f506f7456c172225b72703
Switch branch/tag
stdpp
CHANGELOG.md
Find file
Blame
History
Permalink
Rename `Forall_Forall2` → `Forall_Forall2_diag` to be consistent with the
· 1bce0e36
Robbert Krebbers
authored
Jan 28, 2021
names for big operators in Iris.
1bce0e36
To find the state of this project's repository at the time of any of these versions, check out
the tags
.