Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Jupyter Notebook 195 29

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

    Lean evaluation and metaprogramming utilities for provers.

    Python 176 25

  3. CFSG CFSG Public

    A Lean formalization of the Classification of Finite Simple Groups

    Lean 144 17

  4. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 114 5

  5. IMO2026 IMO2026 Public

    Lean 103 14

  6. fel-polynomial fel-polynomial Public

    Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"

    Lean 47 4

Repositories

Showing 10 of 64 repositories
  • 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 144 Apache-2.0 17 0 1 Updated Oct 27, 2026
  • ClusterAlgebras Public
    AxiomMath/ClusterAlgebras's past year of commit activity
    Lean 3 Apache-2.0 1 0 0 Updated Oct 27, 2026
  • nanoda Public
    AxiomMath/nanoda's past year of commit activity
    Rust 1 Apache-2.0 1 0 0 Updated Oct 27, 2026
  • RiemannJensen Public
    AxiomMath/RiemannJensen's past year of commit activity
    Lean 2 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 3 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
  • HigherDyson2 Public
    AxiomMath/HigherDyson2's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 15, 2026
  • axiom-lean-engine Public

    Lean evaluation and metaprogramming utilities for provers.

    AxiomMath/axiom-lean-engine's past year of commit activity
    Python 176 MIT 25 1 0 Updated Oct 15, 2026
View all repositories

Most used topics

lean4 math