Skip to content
@AxiomMath

AxiomMath

Popular repositories Loading

  1. axplorer axplorer Public

    Jupyter Notebook 186 28

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

    Lean evaluation and metaprogramming utilities for provers.

    Python 156 21

  3. Putnam2025 Putnam2025 Public

    Our solutions to Putnam 2025.

    Lean 113 5

  4. IMO2026 IMO2026 Public

    Lean 101 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 42 7

Repositories

Showing 10 of 46 repositories
  • ZetaZerosV2 Public
    AxiomMath/ZetaZerosV2's past year of commit activity
    Lean 5 Apache-2.0 0 0 1 Updated Sep 15, 2026
  • HJO Public
    AxiomMath/HJO's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Sep 14, 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 6 MIT 1 0 0 Updated Sep 11, 2026
  • TanArctan Public
    AxiomMath/TanArctan's past year of commit activity
    Lean 1 MIT 0 0 0 Updated Sep 11, 2026
  • kaprekar4 Public

    Lean formalizations for the paper "Four-digit Kaprekar dynamics in odd bases"

    AxiomMath/kaprekar4's past year of commit activity
    Lean 1 MIT 1 0 0 Updated Sep 11, 2026
  • record-compositions Public

    Lean formalizations for the paper "Record compositions of alternating permutations and noncommutative symmetric functions"

    AxiomMath/record-compositions's past year of commit activity
    Lean 1 MIT 0 0 0 Updated Sep 11, 2026
  • QBinomialTrace Public

    Lean formalizations for the paper "On a conjecture of Han and Xiong for fractional Gaussian binomial coefficients"

    AxiomMath/QBinomialTrace's past year of commit activity
    Lean 0 MIT 0 0 0 Updated Sep 11, 2026
  • PartitionElliptic Public
    AxiomMath/PartitionElliptic's past year of commit activity
    TeX 1 MIT 0 0 0 Updated Sep 11, 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 47 MIT 4 0 0 Updated Sep 11, 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 19 MIT 0 0 0 Updated Sep 11, 2026
View all repositories

Most used topics

lean4 math