AxiomMath

Popular repositories Loading

1. axplorer axplorer Public

   Jupyter Notebook 191 28

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

   Lean evaluation and metaprogramming utilities for provers.

   Python 167 22

3. Putnam2025 Putnam2025 Public

   Our solutions to Putnam 2025.

   Lean 113 5

4. IMO2026 IMO2026 Public

   Lean 104 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 45 8