spec: Recursion - #943

Draft

erik-3milabs wants to merge 16 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

Commits on Sep 18, 2026

complete combination
erik-3milabs
committed
cc47599
trim excess
erik-3milabs
committed
8c27b72
refactor
erik-3milabs
committed
808b2ce

Commits on Sep 22, 2026

Apply batched suggestions from code review

erik-3milabs
and
RobinJadoul
authored
694a6a5
spec/recursion: drop book.typ
erik-3milabs
committed
9794227
spec/recursion: replace || by `product`
erik-3milabs
committed
5ba52b7