Skip to content

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

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

Fixes #334 (closed).

Edited by Tej Chajed

Merge request reports