refactor: add `tryCatchRuntimeEx` combinator

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.88k stars 329 forks source link

Closed leodemoura closed 3 weeks ago

leodemoura commented 3 weeks ago

see #4079

leanprover-community-mathlib4-bot commented 3 weeks ago

Mathlib CI status (docs):

✅ Mathlib branch lean-pr-testing-4129 has successfully built against this PR. (2024-05-10 23:39:57) View Log