Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
Forked from Iris / Iris
Loading
user avatar
Tweak boxes.
Robbert Krebbers authored 
No longer `put box_own_prop γ P` in the invariant, it is persistent.
f2bf449c
History
user avatar f2bf449c
History
Name Last commit Last update