iris-lean icon indicating copy to clipboard operation
iris-lean copied to clipboard
verified publisher icon leanprover-community

iRevert tactic

Open oliversoeser opened this issue 7 months ago • 1 comments

Port the iRevert tactic

oliversoeser avatar Jul 01 '25 09:07 oliversoeser

Claiming this; I've got a working prototype, though it still needs to be extended to deal with additional subtleties.

oliversoeser avatar Jul 01 '25 09:07 oliversoeser