Skip to content

@AxiomMath AxiomMath

Change the repository type filter

All

    Repositories list

    15 repositories

    • axplorer

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •22•156•0•1•Updated Apr 24, 2026Apr 24, 2026

    • ramanujan-tau-misses-primes

      Public
      Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"
      mathlean4
      mathlean4
      Lean
      •
      MIT License
      •4•9•0•0•Updated Apr 23, 2026Apr 23, 2026

    • axolver

      Public
      Jupyter Notebook
      •
      Apache License 2.0
      •0•3•0•0•Updated Apr 21, 2026Apr 21, 2026

    • axle-mcp-server

      Public
      MCP Server for AI agents to interact with our Lean infrastructure
      Python
      •
      MIT License
      •1•27•0•1•Updated Apr 17, 2026Apr 17, 2026

    • Granville

      Public
      Lean
      •
      MIT License
      •0•0•0•0•Updated Apr 16, 2026Apr 16, 2026

    • axiom-lean-engine

      Public
      Lean evaluation and metaprogramming utilities for provers.
      Python
      •
      MIT License
      •9•86•2•0•Updated Apr 15, 2026Apr 15, 2026

    • quadratic-dinv

      Public
      Lean
      •
      MIT License
      •2•4•0•0•Updated Apr 13, 2026Apr 13, 2026

    • gdm-formal-conjectures

      Public
      Axiom artifacts related to Google DeepMind Formal Conjectures
      Lean
      •
      MIT License
      •0•3•0•0•Updated Mar 26, 2026Mar 26, 2026

    • lattice-triangle

      Public
      Lean formalizations for the paper "On the paucity of lattice triangles"
      mathlean4
      mathlean4
      Lean
      •
      MIT License
      •0•11•0•0•Updated Mar 26, 2026Mar 26, 2026

    • partial-regularity

      Public
      Lean formalizations for the paper "Almost all primes are partially regular"
      Lean
      •
      MIT License
      •1•4•0•0•Updated Mar 25, 2026Mar 25, 2026

    • parity-differential

      Public
      Lean formalizations for the paper "Parity of k-differentials in genus zero and one"
      mathlean4
      mathlean4
      Lean
      •
      MIT License
      •2•24•2•0•Updated Mar 25, 2026Mar 25, 2026

    • fel-polynomial

      Public
      Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
      mathlean4
      mathlean4
      Lean
      •
      MIT License
      •4•40•0•0•Updated Mar 25, 2026Mar 25, 2026

    • dead-ends

      Public
      Lean
      •
      MIT License
      •1•11•0•0•Updated Mar 25, 2026Mar 25, 2026

    • Putnam2025

      Public
      Our solutions to Putnam 2025.
      Lean
      •
      MIT License
      •4•96•0•0•Updated Jan 9, 2026Jan 9, 2026

    • PutnamBench

      Public
      An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
      Lean
      •34•3•0•0•Updated Dec 9, 2025Dec 9, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.