Popular repositories Loading

1. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   blueprint for prime number theorem and more

   Lean 195 39

2. RealAnalysisGame RealAnalysisGame Public

   RealAnalysisGame

   Lean 15 23

3. Lean-RH Lean-RH Public

   formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover

   Lean 5 1

4. CoveringSpacesProject CoveringSpacesProject Public

   Lean 3 2

5. MathematicaFiles MathematicaFiles Public

   Mathematica 2

6. 2025EuclideanGeometryCourse 2025EuclideanGeometryCourse Public

   Formal Euclidean Geometry Course, Rutgers Math Corps

   2 1