Inductive tests.C

Modification history

2024-11-04 00:48

MathlibTest/DeriveToExpr.lean

chore: make tests into a library (#18304)

Deleted tests.C View on Github →

2023-04-18 03:36

test/DeriveFintype.lean

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

Added tests.C View on Github →

2023-04-13 22:33

test/DeriveToExpr.lean

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

Added tests.C View on Github →