fix(proof): preserve complete goals and require live Isabelle controls - #83

fix(proof): preserve complete goals and require live Isabelle controls#83

hyperpolymath merged 14 commits into

mainhyperpolymath/proof-burrower:mainfrom

codex/live-proof-stack-20260907hyperpolymath/proof-burrower:codex/live-proof-stack-20260907Copy head branch name to clipboard