Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
gpfsl
theories
examples
kvgroup.v
Find file
Blame
History
Permalink
Significant progress on kvgroup proofs.
· c5cee6a5
William Mansky
authored
May 30, 2019
New protocol seems to allow the needed case analysis for changed locations.
c5cee6a5