Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Rice Wine
Iris
Repository
iris
theories
algebra
agree.v
Find file
Blame
History
Permalink
Shorten the agreement proofs and bring the construction closer to the one in the paper.
· 62e8a98b
Robbert Krebbers
authored
Apr 13, 2017
62e8a98b