As of: 2026-11-09 21:13 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/p/x-axiommathai-2118689554085646813/

# “We shared our formalization of Stacks. Is it reusable?”

Axiom (@axiommathai), X, 2026-11-06.
Source: https://x.com/axiommathai/status/2118689554085646813

## Archived text

> We shared our formalization of Stacks. Is it reusable?
> 
> The true test of a foundational library is what you can build on it.
> 
> Now, we release the Lean formalization of the proof of the renowned Weil conjectures (I-IV), one of which gives Riemann Hypothesis over finite fields. ✨

Archived 2026-11-08 via fxtwitter (unofficial).
Counts: 48,461 views, 285 likes, 57 reposts, 26 replies (at fetch time)
Media: https://video.twimg.com/amplify_video/2118687013042085888/vid/avc1/1920x1080/jTlDW6KOjc9UG4Py.mp4?tag=29

## Cited in

- 2026-11-06: [Axiom: the Weil conjectures proved in Lean](https://postcutoff.com/e/2026-11-06-axiom-weil-conjectures-lean-formalization/)