Mathlib Changelog
v4
Changelog
About
Github
Def
unknownTacticTest
Modification history
2025-12-05 09:09
MathlibTest/TacticAnalysis.lean
feat(TacticAnalysis): add generic env var-based tryAtEachStep linter (#32416) …
Added
unknownTacticTest
View on Github →