`HW.fork` lowering : lemmas and refactoring - #1982

Draft

luisacicolini wants to merge 17 commits into

mainfrom

luisa/handshake-polish

Commits on Apr 17, 2026

polishing
luisacicolini
committed
a8464c8

Commits on Apr 30, 2026

fix
luisacicolini
committed
cd9730f
pull out main lemma
luisacicolini
committed
5bbb70a
first set of comments
luisacicolini
committed
84d9b44
wip
luisacicolini
committed
1deafa7
more polishing
luisacicolini
committed
a47417b

Commits on Jul 16, 2026

library
luisacicolini
committed
aafba0e
sorry free
luisacicolini
committed
85e9ed7
undo changes
luisacicolini
committed
afe932e
remove useless sorry
luisacicolini
committed
f30131b
add lemmas
luisacicolini
committed
f6f7998

Commits on Jul 17, 2026

cleaned addition circuit
luisacicolini
committed
11fcd32
add
luisacicolini
committed
832a74d

Commits on Jul 20, 2026

Merge branch 'main' into luisa/handshake-polish
luisacicolini
authored
5e04b1a

Commits on Jul 28, 2026

temporary refactor
luisacicolini
committed
3375c0c
first polishing pass
luisacicolini
committed
08fe06f
remove docker
luisacicolini
committed
283b4d7