Def b

Modification history

2025-11-05 13:09
MathlibTest/TacticAnalysis.lean
refactor(TacticAnalysis): use full CommandElabM context in test (#29771) …
Added bView on Github →
2025-02-11 15:35
MathlibTest/ErwQuestion.lean
feat: `erw?`, a tool to explain why `erw` is necessary (#21643) …
Added bView on Github →