fix: drop widget rendering from public proof states - #3

fix: drop widget rendering from public proof states#3

ejgallego merged 3 commits into

mainleanprover/lean-beam:mainfrom

codex/ci-goal-render-fixleanprover/lean-beam:codex/ci-goal-render-fixCopy head branch name to clipboard