iris-2.0-rc2
aa81760b · Update proof mode docs w.r.t. new syntax. ·