Repository navigation

[Lean] Add checked binary count dispatcher - #511

Draft

jamesyc wants to merge 4 commits into

CrocSwap:mainfrom

jamesyc:lean/binary-count-dispatcher-20261011

Draft

[Lean] Add checked binary count dispatcher#511
jamesyc wants to merge 4 commits into
CrocSwap:mainfrom
jamesyc:lean/binary-count-dispatcher-20261011

Commits on Oct 9, 2026
- Stop pinning Makefile, README.md and NOTICE in the joint-dual manifest
  romainhedouin
  committed
  1ece74d
Commits on Oct 11, 2026
- [Lean] Add checked binary count dispatcher
  jamesyc
  authored
  79f7c03
- Update two reviewed hashes in joint-dual SOURCE.json
  jamesyc
  authored
  8c9ba0c
- Rebind joint-dual certificate provenance hashes
  jamesyc
  authored
  9a20ad0