feat: add extractClosed pass to LCNF pass list#8462

zwarich merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

zwarich:lcnf-extract-closedzwarich/lean4:lcnf-extract-closedCopy head branch name to clipboard