Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Jupyter Notebook 191 28

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

    Lean evaluation and metaprogramming utilities for provers.

    Python 166 22

  3. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 113 5

  4. IMO2026 IMO2026 Public

    Lean 104 14

  5. fel-polynomial fel-polynomial Public

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

    Lean 47 4

  6. PrimeGapsLib PrimeGapsLib Public

    Lean formalization of bounded gaps between primes

    Lean 45 8

Repositories

Showing 10 of 60 repositories
  • TernaryPoly Public

    Lean formalization of ternary polynomial relations and periods of cusp forms

    AxiomMath/TernaryPoly's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 16, 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 0 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
  • CollatzPositiveDensity Public
    AxiomMath/CollatzPositiveDensity's past year of commit activity
    Lean 1 Apache-2.0 1 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 166 MIT 22 1 0 Updated Oct 14, 2026
  • lean-metrics Public

    Source and dependency-structure metrics for a Lean 4 Lake project

    AxiomMath/lean-metrics's past year of commit activity
    Lean 1 Apache-2.0 0 0 0 Updated Oct 13, 2026
  • DedekindZetaZeroFree Public

    Lean 4 formalization of a uniform zero-free region for Dedekind zeta functions: ζ_K(s) ≠ 0 for Re(s) > 31/32

    AxiomMath/DedekindZetaZeroFree's past year of commit activity
    Lean 5 Apache-2.0 1 0 0 Updated Oct 13, 2026
  • PrimeNumberTheoremAnd Public

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

    AxiomMath/PrimeNumberTheoremAnd's past year of commit activity
    Lean 2 Apache-2.0 3 0 2 Updated Oct 7, 2026
  • HJO Public
    AxiomMath/HJO's past year of commit activity
    Lean 2 Apache-2.0 0 0 0 Updated Oct 7, 2026
  • BSDTamagawa Public
    AxiomMath/BSDTamagawa's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Oct 6, 2026
View all repositories

Most used topics

lean4 math