Pinned Repositories
Lean
Learning Lean
Lean-RH
formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover
MathematicaFiles
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Spring2020Math492
lean-complex-has_primitives
pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
AlexKontorovich's Repositories
AlexKontorovich/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
AlexKontorovich/Lean-RH
formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover
AlexKontorovich/Lean
Learning Lean
AlexKontorovich/MathematicaFiles
AlexKontorovich/Spring2020Math492