pygments icon indicating copy to clipboard operation
pygments copied to clipboard

Fix GetElem in Lean 4

Open mdbrnowski opened this issue 5 months ago • 0 comments

I have added ]', ]?, and ]! as operators, since they are used as Data Lookups.

mdbrnowski avatar Aug 11 '25 21:08 mdbrnowski