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 43 7

Repositories

Showing 10 of 48 repositories
  • PrimeNumberTheoremAnd Public

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

    AxiomMath/PrimeNumberTheoremAnd's past year of commit activity
    Lean 2 Apache-2.0 2 0 2 Updated Sep 16, 2026
  • BrowningSawin Public
    AxiomMath/BrowningSawin's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Sep 16, 2026
  • GranvilleMoore Public
    AxiomMath/GranvilleMoore's past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Sep 16, 2026
  • ZetaZerosV2 Public
    AxiomMath/ZetaZerosV2's past year of commit activity
    Lean 7 Apache-2.0 0 0 1 Updated Sep 16, 2026
  • HJO Public
    AxiomMath/HJO's past year of commit activity
    Lean 1 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 1 MIT 0 0 0 Updated Sep 11, 2026
View all repositories

Most used topics

lean4 math