Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Tags
iris-2.0-rc2
iris-2.0-rc2
aa81760b
·
Update proof mode docs w.r.t. new syntax.
·
Jul 13, 2016