AlexKontorovich

Mathematics Professor

Pinned Repositories

Lean
Learning Lean
Language:Lean0 2 00
Lean-RH
formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover
Language:Lean2 2 01
MathematicaFiles
Language:Mathematica00
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Language:Lean121 6 023
Spring2020Math492
Language:Lean0 4 00
lean-complex-has_primitives
Language:TeX0 2 00
pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
Language:Lean9 4 00
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
Language:CSS51 12 34119
mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
Language:Lean1.7k 52 362297
mathlib4
The math library of Lean 4
Language:Lean1.3k 38 392293

AlexKontorovich's Repositories

AlexKontorovich/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Language:Lean121 6 023
AlexKontorovich/Lean-RH
formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover
Language:Lean2 2 01
AlexKontorovich/Lean
Learning Lean
Language:Lean0 2 00
AlexKontorovich/MathematicaFiles
Language:Mathematica00
AlexKontorovich/Spring2020Math492
Language:Lean0 4 00