fix: Catch all exceptions from _run_lean to prevent UnboundLocalError#4

haasonsaas merged 1 commit into

mainevalops/cognitive-dissonance-dspy:mainfrom

fix/lean-prover-unbound-resultevalops/cognitive-dissonance-dspy:fix/lean-prover-unbound-resultCopy head branch name to clipboard