Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
docs
proof_mode.md
Find file
Blame
History
Permalink
Improve docs of the `# pat` intro pattern.
· 25061957
Robbert Krebbers
authored
Feb 18, 2020
25061957