Forked from
Iris / Iris
7330 commits behind the upstream repository.
Name | Last commit | Last update |
---|---|---|
.. | ||
derived.v | ||
heap.v | ||
heap_lang.v | ||
lifting.v | ||
notation.v | ||
substitution.v | ||
tactics.v | ||
tests.v |
It now also reshapes expressions as values for contexts that need values such as AppECtx.
Name | Last commit | Last update |
---|---|---|
.. | ||
derived.v | ||
heap.v | ||
heap_lang.v | ||
lifting.v | ||
notation.v | ||
substitution.v | ||
tactics.v | ||
tests.v |