Popular repositories Loading

1. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   Blueprint for the PNT+ Project

   Lean 236 60

2. 2025EuclideanGeometryCourse 2025EuclideanGeometryCourse Public

   Formal Euclidean Geometry Course, Rutgers Math Corps

   85 6

3. RealAnalysisGame RealAnalysisGame Public

   RealAnalysisGame

   Lean 49 31

4. Lean-RH Lean-RH Public

   formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover

   Lean 7 1

5. CoveringSpacesProject CoveringSpacesProject Public

   Lean 3 2

6. MathematicaFiles MathematicaFiles Public

   Mathematica 2