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

Selection Patterns

Open oliversoeser opened this issue 6 months ago • 1 comments

Implement selection pattern syntax and update the relevant tactics accordingly

oliversoeser avatar Jul 14 '25 08:07 oliversoeser

Hi, I'm working on it.

lzy0505 avatar Aug 03 '25 10:08 lzy0505