Def Tactic.tryCatchAll

Modification history

2024-09-29 03:27
test/tactic_timeout.lean
fix: call checkSystem in `linarith` and `ring` (#16666) …
Added Tactic.tryCatchAllView on Github →