Def leaky

Modification history

2026-10-23 11:07

MathlibTest/TacticAnalysis.lean

chore: modulize most of MathlibTest (#45134) …

Deleted leaky View on Github →

2026-09-04 15:28

MathlibTest/TacticAnalysis.lean

fix(TacticAnalysis): discard messages logged by re-run tactics (#43397) …

Added leaky View on Github →