Skip to content
GitLab
Explore
Sign in
Lennard Gäher
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