Def unknownTacticTest

Modification history

2026-10-23 11:07
MathlibTest/TacticAnalysis.lean
chore: modulize most of MathlibTest (#45134) …
Deleted unknownTacticTestView on Github →
2025-12-05 09:09
MathlibTest/TacticAnalysis.lean
feat(TacticAnalysis): add generic env var-based tryAtEachStep linter (#32416) …
Added unknownTacticTestView on Github →