Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
proofmode
classes.v
Find file
Blame
History
Permalink
Proof mode instances for [tc_opaque].
· 9d4d9738
Robbert Krebbers
authored
Sep 29, 2017
9d4d9738