spec: Recursion - #943

Draft

erik-3milabs wants to merge 10 commits into

Commits on Sep 8, 2026

spec: recursive verification explanation, pt1

erik-3milabs
authored and
RobinJadoul
committed
0ecc4e8
spec/recursion: put text and figure side-by-side

erik-3milabs
authored and
RobinJadoul
committed
c3652e7
spec/recursion: overhaul

erik-3milabs
authored and
RobinJadoul
committed
b89ff29
spec/recursion: clean up

erik-3milabs
authored and
RobinJadoul
committed
13f32ce
spec/recursion: more cleanup

erik-3milabs
authored and
RobinJadoul
committed
bc875f0
Apply suggestions from code review

erik-3milabs
and
RobinJadoul
committed
0fae699
spec/recursion: address code review comments

erik-3milabs
authored and
RobinJadoul
committed
741811e
Apply suggestions from code review

erik-3milabs
authored and
RobinJadoul
committed
757131a
spec/recursion: address review comments

erik-3milabs
authored and
RobinJadoul
committed
54ce924
address comments Cyprien

erik-3milabs
authored and
RobinJadoul
committed
a75546f