Structure B

Modification history

2026-03-02 00:47
MathlibTest/DefEqAbuse.lean
chore: bump toolchain to v4.29.0-rc3 (#35942)
Deleted BView on Github →
2026-03-01 06:36
MathlibTest/DefEqAbuse.lean
feat(Tactic): add `#defeq_abuse` tactic combinator (#35750) …
Added BView on Github →
2025-06-17 18:33
MathlibTest/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added BView on Github →
2022-09-08 18:38
test/ext.lean
chore: bump std4 09-08 (#403) …
Deleted BView on Github →
2021-10-18 09:49
test/ext.lean
feat: ext tactic (#73) …
Added BView on Github →