Skip to content

Lean: fix translation of try-catch #223

Lean: fix translation of try-catch

Lean: fix translation of try-catch #223

build (5.2.1, ubuntu-24.04, prover)

succeeded Feb 27, 2025 in 17m 44s