Forked from
Iris / Iris
4307 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
.. | ||
algebra | ||
base_logic | ||
bi | ||
heap_lang | ||
program_logic | ||
proofmode | ||
tests |
Split [FromAssumption] into three, depending on wheter the parameters are evars. This is to avoid loops in TC search.
Name | Last commit | Last update |
---|---|---|
.. | ||
algebra | ||
base_logic | ||
bi | ||
heap_lang | ||
program_logic | ||
proofmode | ||
tests |