Skip to content

Improve C_3a lower bound via Lean-formalized controlled-carry semigroup mask-digit construction - #146

Open
kleinwaks wants to merge 4 commits into
teorth:mainfrom
kleinwaks:improve-c3a-lower-bound-controlled-carry
Open

Improve C_3a lower bound via Lean-formalized controlled-carry semigroup mask-digit construction#146
kleinwaks wants to merge 4 commits into
teorth:mainfrom
kleinwaks:improve-c3a-lower-bound-controlled-carry

Update 3a.md reference [K2026b] with PR URL

569192c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs