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

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

4c3a356
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors and 5 warnings
Build without default features
failed Jun 7, 2026 in 16s