Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Compare
Forked from Iris / Iris
Loading
user avatar
State `internal_eq_rewrite` in the logic.
Robbert Krebbers authored 
This way, it can be used with `iApply`.
f8ba3a6b
History
user avatar f8ba3a6b
History
Name Last commit Last update
..