Stacks Project

Search everything

Mentions · 7d1
Mentions · 30d1
All mentions1
First seenNov 5, 2026
Last mentioned6d ago

Timeline

1 articles · newest first

Axiom Math says it formally verified the Stacks Project

Agents turned about 7,654 pages into roughly 16 million lines of Lean checked by a proof assistant.

TechCrunch · AINov 5, 16:16 UTC · 6d agoAI industry1

Appears with

Menlo Venturesorganization · 1
Leanproduct · 1
Axiom Mathorganization · 1

Entities are extracted by the model from each article. First seen Nov 5, 2026, last mentioned 6d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.