Skip to content

WIP feat: certify recursive normalization candidates - #1

Merged
johnchandlerburnham merged 60 commits into
masterfrom
jcb/induct
Aug 4, 2026
Merged

WIP feat: certify recursive normalization candidates#1
johnchandlerburnham merged 60 commits into
masterfrom
jcb/induct

Commits

Commits on Jul 31, 2026

Commits on Aug 1, 2026

Commits on Aug 2, 2026

Commits on Aug 3, 2026

Commits on Aug 4, 2026