Skip to content

feat(api/graphql): add verifyProof + suggestTactics(prover/context/goalState) + proverStatus (closes #180) - #188

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/graphql-ops-for-echidnabot-issue-180
Jun 1, 2026
Merged

feat(api/graphql): add verifyProof + suggestTactics(prover/context/goalState) + proverStatus (closes #180)#188
hyperpolymath merged 1 commit into
mainfrom
feat/graphql-ops-for-echidnabot-issue-180

feat(api/graphql): add verifyProof + suggestTactics(prover/context/go…

1803557
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar