Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
theories
proofmode
classes.v
Find file
Blame
History
Permalink
Fix typos
· 291d150c
Yusuke Matsushita
authored
Oct 31, 2020
and
Ralf Jung
committed
Oct 31, 2020
291d150c