Popular repositories Loading

1. math2001 math2001 Public

   Forked from hrmacbeth/math2001

   Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

   HTML 1

2. Junk-Test Junk-Test Public

   Python

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. LeanOA LeanOA Public

   Forked from j-loreaux/LeanOA

   Operator algebras in Lean

   Lean 1

5. ArithmeticSite ArithmeticSite Public

   An attempt to explore the formalization of Connes-Consani's Arithmetic Site in Lean 4

   TeX

6. SpectralTriples SpectralTriples Public

   A project to flesh out the theory of spectral triples in noncommutative geometry. Appropriate bits of this can be upstreamed to Mathlib for community use. The initial impetus for this was to provid…

   Lean