Skip to content

Generalize ExtTreeMap lemma universes#6

Merged
dhsorens merged 2 commits intoVerified-zkEVM:masterfrom
quangvdao:quang/type-universe
Mar 31, 2026
Merged

Generalize ExtTreeMap lemma universes#6
dhsorens merged 2 commits intoVerified-zkEVM:masterfrom
quangvdao:quang/type-universe

Commits

Commits on Mar 16, 2026

Commits on Mar 30, 2026