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
f1f45de3c19f93c3a1a3a432dcb79049589cc121
Switch branch/tag
stdpp
theories
base.v
Find file
Blame
History
Permalink
COFE on type with leibniz equality.
· f1f45de3
Robbert Krebbers
authored
Nov 19, 2015
f1f45de3
