Repository navigation

feat(api): add submitProofObligation mutation for hypatia - #169

Merged

hyperpolymath merged 1 commit into

mainfrom

feat/submit-proof-obligation

Oct 8, 2026

Merged

feat(api): add submitProofObligation mutation for hypatia#169
hyperpolymath merged 1 commit into
mainfrom
feat/submit-proof-obligation

Commits on Oct 8, 2026
- feat(api): add submitProofObligation mutation for hypatia
  
  hyperpolymath
  and
  claude
  committed
  1f7db3a