Popular repositories Loading

1. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 343 117

2. 2025EuclideanGeometryCourse 2025EuclideanGeometryCourse Public

   Formal Euclidean Geometry Course, Rutgers Math Corps

   103 7

3. RealAnalysisGame RealAnalysisGame Public

   RealAnalysisGame

   Lean 69 38

4. Lean-RH Lean-RH Public

   formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover

   Lean 9 1

5. CoveringSpacesProject CoveringSpacesProject Public

   Lean 3 2

6. MathematicaFiles MathematicaFiles Public

   Mathematica 2