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