Def Tactic.withTimeout

Modification history

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