spec: Recursion - #943

Draft

erik-3milabs wants to merge 10 commits into

Commits on Aug 14, 2026

spec: recursive verification explanation, pt1
erik-3milabs
committed
187edc3
spec/recursion: put text and figure side-by-side
erik-3milabs
committed
89e5cac

Commits on Aug 21, 2026

spec/recursion: overhaul
erik-3milabs
committed
0aab4a4
spec/recursion: clean up
erik-3milabs
committed
408ab46
spec/recursion: more cleanup
erik-3milabs
committed
ab117fa

Commits on Aug 26, 2026

Apply suggestions from code review

erik-3milabs
and
RobinJadoul
authored
b430d3d
spec/recursion: address code review comments
erik-3milabs
committed
f293a72

Commits on Aug 28, 2026

Apply suggestions from code review
erik-3milabs
authored
2a62ec8
spec/recursion: address review comments
erik-3milabs
committed
6220a57

Commits on Sep 2, 2026

address comments Cyprien
erik-3milabs
committed
f92d469