Skip to content

feat(provider): judge authored effect programs in the lowerer and verifier - #935

Open
flyingrobots wants to merge 1 commit into
feat/effect-program-proofsfrom
feat/provider-effect-program-judgment
Open

feat(provider): judge authored effect programs in the lowerer and verifier#935
flyingrobots wants to merge 1 commit into
feat/effect-program-proofsfrom
feat/provider-effect-program-judgment

Commits

  1. Commits on Oct 21, 2026