Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
docs
proof_mode.md
Find file
Blame
History
Permalink
Fix typos
· abdf4fa5
Yusuke Matsushita
authored
Mar 03, 2021
and
Ralf Jung
committed
Mar 03, 2021
abdf4fa5