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
Dan Frumin
iris-coq
Repository
8b4d7a8d7b7d6930d092d9be54b3c2364019cfc0
Switch branch/tag
iris-coq
algebra
dra.v
Find file
Blame
History
Permalink
derive sts_op_frag from a generic DRA property
· 8b4d7a8d
Ralf Jung
authored
Feb 17, 2016
8b4d7a8d
Ralf Jung authored8b4d7a8d