Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
proofmode
classes.v
Find file
Blame
History
Permalink
generalize proofmode accessors to work with all modalities, and not depend on SBI or FUpd any more
· 351ca6f1
Ralf Jung
authored
May 03, 2018
351ca6f1