Inductive tests.B

Modification history

2024-11-04 00:48

MathlibTest/DeriveToExpr.lean

chore: make tests into a library (#18304)

Deleted tests.B View on Github →

2023-04-18 03:36

test/DeriveFintype.lean

feat: `Fintype` deriving handler (#3198) …

Added tests.B View on Github →

2023-04-13 22:33

test/DeriveToExpr.lean

feat: `ToExpr` deriving handler (#3215) …

Added tests.B View on Github →