Can I read 25.R Lean 4 Formalization of The Prime-Crystal Correspondence on EtoBox?

25.R Lean 4 Formalization of The Prime-Crystal Correspondence by clementemaben2 is a document available to read on EtoBox.

What is 25.R Lean 4 Formalization of The Prime-Crystal Correspondence about?

This document presents a Lean 4 formalization of ten proof obligations related to the Prime-Crystal Correspondence and the Riemann Hypothesis, utilizing the weak Prime Number Theorem and named Bessel-Kernel axioms. The formalization has resolved all proof obligations without any

Author

clementemaben2

Language

EN