Def a

Modification history

2025-05-02 23:00

MathlibTest/ExtractLets.lean

chore: bump toolchain to v4.20.0-rc2 (#24561)

Deleted a View on Github →

2025-02-11 15:35

MathlibTest/ErwQuestion.lean

feat: `erw?`, a tool to explain why `erw` is necessary (#21643) …

Added a View on Github →

2024-05-21 02:59

test/ExtractLets.lean

fix: `extract_lets` was not processing unused let bindings correctly (#13068) …

Added a View on Github →