Forked from
Iris / Iris
6482 commits behind the upstream repository.
-
Robbert Krebbers authored
Do not use proper explicitly but let setoids handle it.
Robbert Krebbers authoredDo not use proper explicitly but let setoids handle it.
Do not use proper explicitly but let setoids handle it.
Do not use proper explicitly but let setoids handle it.