Inductive tests.Bar

Modification history

2024-11-04 00:48

MathlibTest/DeriveToExpr.lean

chore: make tests into a library (#18304)

Deleted tests.Bar View on Github →

2023-04-13 22:33

test/DeriveToExpr.lean

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

Added tests.Bar View on Github →