Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
proof_guide.md
Find file
Blame
History
Permalink
Use new style for `inG` instances in docs as well
· a030dceb
Paolo G. Giarrusso
authored
Mar 01, 2022
a030dceb