Def a

Modification history

2025-11-05 13:09
MathlibTest/TacticAnalysis.lean
refactor(TacticAnalysis): use full CommandElabM context in test (#29771) …
Added aView on Github →
2025-05-02 23:00
MathlibTest/ExtractLets.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Deleted aView on Github →
2025-02-11 15:35
MathlibTest/ErwQuestion.lean
feat: `erw?`, a tool to explain why `erw` is necessary (#21643) …
Added aView on Github →
2024-05-21 02:59
test/ExtractLets.lean
fix: `extract_lets` was not processing unused let bindings correctly (#13068) …
Added aView on Github →