Skip to content

codelib: words32/slot32 twins + verified u32 copy loop (#68 phase 2c) - #140

Merged
mfornet merged 7 commits into
cajal-technologies:mainfrom
theebayuser:codelib/mem-words32
Jul 16, 2026
Merged

codelib: words32/slot32 twins + verified u32 copy loop (#68 phase 2c)#140
mfornet merged 7 commits into
cajal-technologies:mainfrom
theebayuser:codelib/mem-words32

codelib: address review — Disjoint-shaped hypothesis, bridge-lemma re…

063ad4c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build & verify proofs
succeeded Jul 15, 2026 in 5m 6s