Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Glen Mével
cosmo
Repository
360de605ba732bb8d3dbc92af27e996a79c8c766
Switch branch/tag
cosmo
papers
icfp2021
queue-spec-sc.tex
Find file
Blame
History
Permalink
add existential quantification to the rule of opening an invariant around a LA triple
· 360de605
Glen Mével
authored
Mar 02, 2021
360de605
queue-spec-sc.tex
9.14 KB
Replace queue-spec-sc.tex
×
Attach a file by drag & drop or
click to upload
Commit message
Replace queue-spec-sc.tex
Replace file
Cancel
GitLab will create a branch in your fork and start a merge request.
