Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
Source project has a limited visibility.
Robbert's avatar
Merge branch 'robbert/istopproof' into 'master'
Robbert Krebbers authored 
Add `iStopProof` tactic

Closes #265

See merge request !311
a00ebafc
History
Robbert's avatar a00ebafc
History
Name Last commit Last update