Skip to content

Proofs for IndexedBinaryTree lemmas - #140

Merged
alexanderlhicks merged 2 commits into
Verified-zkEVM:mainfrom
logical-intelligence:ibt
Sep 3, 2025
Merged

Proofs for IndexedBinaryTree lemmas#140
alexanderlhicks merged 2 commits into
Verified-zkEVM:mainfrom
logical-intelligence:ibt

Revert theorem def to original

86e9594
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.