Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Jupyter Notebook 197 30

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

    Lean evaluation and metaprogramming utilities for provers.

    Python 181 26

  3. CFSG CFSG Public

    A Lean formalization of the Classification of Finite Simple Groups

    Lean 160 24

  4. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 115 5

  5. IMO2026 IMO2026 Public

    Lean 104 14

  6. PrimeGapsLib PrimeGapsLib Public

    Lean formalization of bounded gaps between primes

    Lean 48 10

Repositories

Showing 10 of 66 repositories
  • Stacks Public

    A Lean formalization of the Stacks Project

    AxiomMath/Stacks's past year of commit activity
    Lean 43 Apache-2.0 10 1 0 Updated Nov 4, 2026
  • ClusterAlgebras Public
    AxiomMath/ClusterAlgebras's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Nov 3, 2026
  • CFSGCorollary Public

    Lean 4 proof that every finite simple group is generated by two elements

    AxiomMath/CFSGCorollary's past year of commit activity
    Lean 9 Apache-2.0 1 0 0 Updated Nov 2, 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 0 Apache-2.0 2 0 1 Updated Oct 27, 2026
  • CFSG Public

    A Lean formalization of the Classification of Finite Simple Groups

    AxiomMath/CFSG's past year of commit activity
    Lean 160 Apache-2.0 24 0 5 Updated Oct 27, 2026
  • nanoda Public
    AxiomMath/nanoda's past year of commit activity
    Rust 2 Apache-2.0 1 0 0 Updated Oct 27, 2026
  • RiemannJensen Public
    AxiomMath/RiemannJensen's past year of commit activity
    Lean 3 Apache-2.0 0 0 0 Updated Oct 23, 2026
  • CollatzPositiveDensity Public
    AxiomMath/CollatzPositiveDensity's past year of commit activity
    Lean 3 Apache-2.0 1 0 0 Updated Oct 23, 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 Oct 21, 2026
  • TernaryPoly Public

    Lean formalization of ternary polynomial relations and periods of cusp forms

    AxiomMath/TernaryPoly's past year of commit activity
    Lean 1 Apache-2.0 1 0 0 Updated Oct 16, 2026
View all repositories

Most used topics

lean4 math