feat: add the haveILetI linter, flagging haveI/letI in tactic proofs.#41562
Open
kbuzzard wants to merge 3 commits into
Open
feat: add the haveILetI linter, flagging haveI/letI in tactic proofs.#41562kbuzzard wants to merge 3 commits into
kbuzzard wants to merge 3 commits into
