Skip to content
GitLab

Add tests for iRename, iTypeOf, and iInduction with multiple IHs

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

Fixes #334 (closed).

Edited by Tej Chajed