Structure A

Modification history

2026-03-02 00:47
MathlibTest/DefEqAbuse.lean
chore: bump toolchain to v4.29.0-rc3 (#35942)
Deleted AView on Github →
2026-03-01 06:36
MathlibTest/DefEqAbuse.lean
feat(Tactic): add `#defeq_abuse` tactic combinator (#35750) …
Added AView on Github →
2025-06-17 18:33
MathlibTest/CommandStart.lean
feat: a linter to enforce formatting (#24465) …
Added AView on Github →
2024-03-05 04:47
test/spread.lean
chore: move Mathlib to v4.7.0-rc1 (#11162) …
Added AView on Github →
2023-09-04 13:19
test/restate_axiom.lean
chore: delete restate_axiom (#6939) …
Deleted AView on Github →
2022-09-08 18:38
test/ext.lean
chore: bump std4 09-08 (#403) …
Deleted AView on Github →
2022-03-16 19:39
test/restate_axiom.lean
feat: `restate_axiom` (#228)
Added AView on Github →
2021-10-18 09:49
test/ext.lean
feat: ext tactic (#73) …
Added AView on Github →