Forked from
Iris / Iris
692 commits behind the upstream repository.
Robbert Krebbers
authored
Better handling of `let` bindings in proof mode Closes #520 See merge request iris/iris!921
Better handling of `let` bindings in proof mode Closes #520 See merge request iris/iris!921