Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Python 124 20

  2. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 85 4

  3. axiom-lean-engine axiom-lean-engine Public

    Lean evaluation and metaprogramming utilities for provers.

    Python 61 6

  4. fel-polynomial fel-polynomial Public

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

    Lean 39 4

  5. parity-differential parity-differential Public

    Lean formalizations for the paper "Parity of k-differentials in genus zero and one"

    Lean 24 2

  6. axle-mcp-server axle-mcp-server Public

    MCP Server for AI agents to interact with our Lean infrastructure

    Python 24 1

Repositories

Showing 10 of 13 repositories
  • axiom-lean-engine Public

    Lean evaluation and metaprogramming utilities for provers.

    AxiomMath/axiom-lean-engine’s past year of commit activity
    Python 61 MIT 6 2 0 Updated Apr 1, 2026
  • ramanujan-tau-misses-primes Public

    Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"

    AxiomMath/ramanujan-tau-misses-primes’s past year of commit activity
    TeX 1 MIT 0 0 0 Updated Apr 1, 2026
  • gdm-formal-conjectures Public

    Axiom artifacts related to Google DeepMind Formal Conjectures

    AxiomMath/gdm-formal-conjectures’s past year of commit activity
    Lean 3 MIT 0 0 0 Updated Mar 26, 2026
  • lattice-triangle Public

    Lean formalizations for the paper "On the paucity of lattice triangles"

    AxiomMath/lattice-triangle’s past year of commit activity
    Lean 10 MIT 0 0 0 Updated Mar 26, 2026
  • partial-regularity Public

    Lean formalizations for the paper "Almost all primes are partially regular"

    AxiomMath/partial-regularity’s past year of commit activity
    Lean 4 MIT 1 0 0 Updated Mar 25, 2026
  • parity-differential Public

    Lean formalizations for the paper "Parity of k-differentials in genus zero and one"

    AxiomMath/parity-differential’s past year of commit activity
    Lean 24 MIT 2 2 0 Updated Mar 25, 2026
  • fel-polynomial Public

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

    AxiomMath/fel-polynomial’s past year of commit activity
    Lean 39 MIT 4 0 0 Updated Mar 25, 2026
  • dead-ends Public
    AxiomMath/dead-ends’s past year of commit activity
    Lean 11 MIT 1 0 0 Updated Mar 25, 2026
  • axplorer Public
    AxiomMath/axplorer’s past year of commit activity
    Python 124 Apache-2.0 20 0 1 Updated Mar 23, 2026
  • axolver Public
    AxiomMath/axolver’s past year of commit activity
    Jupyter Notebook 1 Apache-2.0 0 0 0 Updated Mar 22, 2026
View all repositories

Top languages

Loading…

Most used topics

lean4 math