Def unknownTacticTest

Modification history

2025-12-05 09:09
MathlibTest/TacticAnalysis.lean
feat(TacticAnalysis): add generic env var-based tryAtEachStep linter (#32416) …
Added unknownTacticTestView on Github →