Def Tactic.tryCatchAll

Modification history

2026-10-23 11:07

MathlibTest/TacticTimeout.lean

chore: modulize most of MathlibTest (#45134) …

Deleted Tactic.tryCatchAll View on Github →

2024-09-29 03:27

test/tactic_timeout.lean

fix: call checkSystem in `linarith` and `ring` (#16666) …

Added Tactic.tryCatchAll View on Github →