Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Jupyter Notebook 199 30

  2. axiom-lean-engine axiom-lean-engine Public

    Lean evaluation and metaprogramming utilities for provers.

    Python 186 27

  3. CFSG CFSG Public

    A Lean formalization of the Classification of Finite Simple Groups

    Lean 165 25

  4. Stacks Stacks Public

    A Lean formalization of the Stacks Project

    Lean 135 27

  5. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 116 5

  6. IMO2026 IMO2026 Public

    Lean 104 14

Repositories

Showing 10 of 72 repositories
  • BandMatrixQUE Public

    Lean 4 formalization of quantum unique ergodicity and the critical crossover for 1-d Gaussian band matrices

    AxiomMath/BandMatrixQUE's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Nov 13, 2026
  • Mordell Public

    A Lean 4 formalization of Faltings' theorem (the Mordell conjecture), via Bombieri–Vojta, on the Stacks Project in Lean

    AxiomMath/Mordell's past year of commit activity
    Lean 4 Apache-2.0 1 1 0 Updated Nov 11, 2026
  • Stacks Public

    A Lean formalization of the Stacks Project

    AxiomMath/Stacks's past year of commit activity
    Lean 135 Apache-2.0 27 8 6 Updated Nov 11, 2026
  • SupersingularCongruences Public

    Lean formalization of Ken Ono's Modular forms for chromatic homotopy: supersingular congruences

    AxiomMath/SupersingularCongruences's past year of commit activity
    Lean 0 0 0 0 Updated Nov 10, 2026
  • CFSG Public

    A Lean formalization of the Classification of Finite Simple Groups

    AxiomMath/CFSG's past year of commit activity
    Lean 165 Apache-2.0 25 0 6 Updated Nov 10, 2026
  • LogNarayana Public
    AxiomMath/LogNarayana's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Nov 9, 2026
  • AreaLaw2D Public

    Lean 4 formalization of OpenAI's 'A two-dimensional area law from a global spectral gap' (openai/math family 265): Theorem 1.1, every proposition, statement audit and comparator check

    AxiomMath/AreaLaw2D's past year of commit activity
    Lean 2 Apache-2.0 2 0 0 Updated Nov 9, 2026
  • PrimeNumberTheoremAnd Public

    Axiom fork of https://github.com/AlexKontorovich/PrimeNumberTheoremAnd

    AxiomMath/PrimeNumberTheoremAnd's past year of commit activity
    Lean 4 Apache-2.0 4 0 2 Updated Nov 9, 2026
  • HigherDyson3 Public
    AxiomMath/HigherDyson3's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Nov 7, 2026
  • Weil Public

    A Lean 4 formalization of the proof of the Weil conjectures

    AxiomMath/Weil's past year of commit activity
    Lean 19 Apache-2.0 2 0 0 Updated Nov 6, 2026
View all repositories

Most used topics

lean4 math