Mathlib Changelog
v4
Changelog
About
Github
Def
c
Modification history
2025-11-05 13:09
MathlibTest/TacticAnalysis.lean
refactor(TacticAnalysis): use full CommandElabM context in test (#29771) …
Added
c
View on Github →
2025-08-04 12:20
MathlibTest/ErwQuestion.lean
feat: `erw?` supports all arguments that `erw` does (#27751) …
Added
c
View on Github →