Skip to content

proofs for probabilitytheory/coupling - #263

Merged
pirapira merged 6 commits into
Verified-zkEVM:masterfrom
FawadHa1der:coupling-proofs
Feb 11, 2026
Merged

proofs for probabilitytheory/coupling#263
pirapira merged 6 commits into
Verified-zkEVM:masterfrom
FawadHa1der:coupling-proofs

refactor: simplify extensionality proofs to rfl in coupling

798d660
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.