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
Jonas Kastberg
iris
Repository
261714ad9f8aaecde6a217926d07bcba6e8ebf30
Switch branch/tag
iris-coq
theories
algebra
ofe.v
Find file
Blame
History
Permalink
A comment about `later_car` not being non-expansive.
· 261714ad
Robbert Krebbers
authored
Dec 10, 2018
261714ad
