Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 84 3

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

    Lean evaluation and metaprogramming utilities for provers.

    Python 49 7

  3. fel-polynomial fel-polynomial Public

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

    Lean 37 4

  4. parity-differential parity-differential Public

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

    Lean 23 2

  5. axle-mcp-server axle-mcp-server Public

    MCP Server for AI agents to interact with our Lean infrastructure

    Python 20 1

  6. dead-ends dead-ends Public

    Lean 10 1

Repositories

Showing 8 of 8 repositories
  • axiom-lean-engine Public

    Lean evaluation and metaprogramming utilities for provers.

    AxiomMath/axiom-lean-engine’s past year of commit activity
    Python 49 MIT 7 2 0 Updated Mar 18, 2026
  • axle-mcp-server Public

    MCP Server for AI agents to interact with our Lean infrastructure

    AxiomMath/axle-mcp-server’s past year of commit activity
    Python 20 MIT 1 0 0 Updated Mar 6, 2026
  • dead-ends Public
    AxiomMath/dead-ends’s past year of commit activity
    Lean 10 MIT 1 0 0 Updated Feb 6, 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 Feb 6, 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 23 MIT 2 2 0 Updated Feb 5, 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 37 MIT 4 0 0 Updated Feb 5, 2026
  • Putnam2025 Public

    Our solutions to Putnam 2025.

    AxiomMath/Putnam2025’s past year of commit activity
    Lean 84 MIT 3 0 0 Updated Jan 9, 2026
  • PutnamBench Public Forked from trishullab/PutnamBench

    An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

    AxiomMath/PutnamBench’s past year of commit activity
    Lean 3 33 0 0 Updated Dec 9, 2025

Top languages

Loading…

Most used topics

Loading…