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

feat: irevert tactic

Open oliversoeser opened this issue 7 months ago • 0 comments

Implements the irevert tactic, closes #69.

oliversoeser avatar Jul 04 '25 13:07 oliversoeser