integer-mult-bounds-lean github.com ↗

A Lean formalization of sub-n log n integer multiplication bounds on Mathlib's TM2 machine model.

LibraryOtherleanformal-proofinteger-multiplicationformal-verificationcomplexity-theory

Recommended in 2 threads

The recently proposed o(n log n) integer multiplication algorithm [pdf]
web.maths.unsw.edu.au · 4 days ago
Its authors offered it as a full formal proof of the o(n log n) result and invited contributions.
Κ = 0.003 for integer multiplication crossed
github.com · 4 days ago
It provides machine-checked proofs of the new kappa bounds and welcomes contributions.

Climatebase ↗Other
A job board and community for climate-focused careers.
1 thread
lean4-mlir ↗AI & ML
A project using Lean 4 to drive PJRT/MLIR for ML workloads.
1 thread
Wiki-map ↗Other
A map displaying geotagged Wikipedia articles.
0 threads
STAR voting Other
Score Then Automatic Runoff, a single-winner voting method.
1 thread
Paulina ↗Other
A Toolforge tool for browsing public domain works and creators using Wikidata and Wikimedia Commons.
1 thread
Quantum Mechanics for Engineers ↗Learning & books
A free online quantum mechanics text by Leon van Dommelen aimed at engineers.
1 thread
Local vacation rental agencies Other
Regional property management companies that rent out vacation homes directly.
1 thread
ZLinq ↗Frameworks & libraries
A zero-allocation LINQ implementation for .NET, Unity and Godot.
1 thread

All Brains Belong ↗
An organisation publishing resources on health issues comorbid with autism and ADHD.
2 threads
3M Thinsulate Climate Control 75 ↗
A self-adhesive window film that blocks RF from 100 MHz to 4.5 GHz while letting visible light through.
1 thread
American Fiction ↗
A 2023 satirical film about a writer who mocks publishing's appetite for stereotyped stories.
1 thread
Another World
A 1991 cinematic platform game by Éric Chahi.
1 thread
Atlas Obscura ↗
A guide to unusual and hidden places around the world.
1 thread
Baldur's Gate 3
A party-based role-playing game developed by Larian Studios.
1 thread
Battlezone 98 Redux ↗
A remastered re-release of the 1998 first-person tank and strategy game Battlezone.
1 thread
Bazarr ↗
A subtitle manager that is part of the *arr media stack.
1 thread
Below the Root restoration ↗
A restored and translated version of the 1984 Apple II game Below the Root.
1 thread
Brazil
Terry Gilliam's 1985 dystopian satire.
1 thread
CTVC newsletter ↗
A newsletter covering climate tech venture funding rounds.
1 thread
Climatebase ↗
A job board and community for climate-focused careers.
1 thread

Link from a commenter, not checked or endorsed by us: ↗ https://github.com/platypii/integer-mult-bounds-lean