Skip to content

fix: EQ over cross-kind SigmaProps throws when the left is a conjecture - #888

Open
mwaddip wants to merge 1 commit into
ergoplatform:developfrom
mwaddip:fix/sigmaprop-eq-conjecture-throw
Open

fix: EQ over cross-kind SigmaProps throws when the left is a conjecture#888
mwaddip wants to merge 1 commit into
ergoplatform:developfrom
mwaddip:fix/sigmaprop-eq-conjecture-throw

Commits

Commits on Jun 7, 2026