bluesky — Techpresso — 13 Sep 2026
The proof contains 13 million lines of Lean code, work that had been expected to take years to complete.
#proof-assistants #computational-mathematics #formal-verification
The proof contains 13 million lines of Lean code, work that had been expected to take years to complete.