Repository navigation
feat(machines): explicit Boolean block-counting networks (#1833 H3) - #1877
Merged
Merged
Commits
Commits on Oct 30, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
Merge remote-tracking branch 'origin/claude/hpv-choice-normal-form' into claude/hpv-interval-tensors
committed- andcommitted
- committed
- andcommitted
- andcommitted
Commits on Oct 31, 2026
- andcommitted