Inductive tests.D

Modification history

2024-11-04 05:59
MathlibTest/DeriveFintype.lean
chore: bump toolchain to v4.14.0-rc1 (#18597) …
Modified tests.DView on Github →
2024-11-04 00:48
MathlibTest/DeriveToExpr.lean
chore: make tests into a library (#18304)
Deleted tests.DView on Github →
2023-04-18 03:36
test/DeriveFintype.lean
feat: `Fintype` deriving handler (#3198) …
Added tests.DView on Github →
2023-04-13 22:33
test/DeriveToExpr.lean
feat: `ToExpr` deriving handler (#3215) …
Added tests.DView on Github →