Formalization of the Riemann Hypothesis in the Lean Theorem Prover

Supported by DIMACS and the NSF Grant DMS-1802119
Get the Code


© 2020 B. H. Gomes
#
Edited: 2020-06-25