Repository navigation

feat(Machines): zip transducer kernel for linear-time two-operand functions (#608) - #1649

Merged

SamuelSchlesinger merged 2 commits into

cslib-community:mainfrom

chris-ai1:feat/zip-transducer-kernel-608

Oct 29, 2026

Merged

feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)#1649
SamuelSchlesinger merged 2 commits into
cslib-community:mainfrom
chris-ai1:feat/zip-transducer-kernel-608

Commits on Oct 29, 2026
- feat(Machines): zip transducer kernel for linear-time two-operand functions (#608)
  
  chris-ai1
  and
  claude
  committed
  ce0a964
- refactor(Machines): derive both binary_lt certificates from the linear natLt (#608)
  
  chris-ai1
  and
  claude
  committed
  1724ef1