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 Krebbers's avatar
Merge branch 'robbert/inv_except_0' into 'master'
Robbert Krebbers authored 
Prove that invariants are "except 0".

See merge request iris/iris!897
eb5e1ef6
History
Robbert Krebbers's avatar eb5e1ef6
History
Name Last commit Last update