“We shared our formalization of Stacks. Is it reusable?”
Axiom @axiommathaiX
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. ✨