← All repos

platypii/integer-mult-bounds-lean

View on GitHub ↗ ★ 28 Lean

Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine

4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2026-10-22 · latest 2026-10-22