build(bootstrap): iser-style SessionStart prover bootstrap (Coq/Idris2/Zig)#323

hyperpolymath merged 3 commits into

mainhyperpolymath/ephapax:mainfrom

claude/prover-bootstrap-iserhyperpolymath/ephapax:claude/prover-bootstrap-iserCopy head branch name to clipboard