Add tests for iRename, iTypeOf, and iInduction with multiple IHs (!768) · Merge requests · Iris / Iris · GitLab

Merged Tej Chajed requested to merge tchajed/iris-coq:add-proofmode-tests into master Dec 16, 2021

Fixes #334 (closed).

Edited Dec 16, 2021 by Tej Chajed