Popular repositories Loading

1. PrimeNumberTheoremAnd PrimeNumberTheoremAnd Public

   blueprint for prime number theorem and more

   Lean 181 39

2. Lean-RH Lean-RH Public

   formalization of the Riemann hypothesis in the Lean Interactive Theorem Prover

   Lean 4 1

3. CoveringSpacesProject CoveringSpacesProject Public

   Lean 2 2

4. MathematicaFiles MathematicaFiles Public

   Mathematica 1

5. 2025EuclideanGeometryCourse 2025EuclideanGeometryCourse Public

   Formal Euclidean Geometry Course, Rutgers Math Corps

   1 1

6. 2025F311H 2025F311H Public

   2025 Fall Rutgers 311H Intro Real Analysis

   HTML 1