Popular repositories Loading
-
-
axiom-lean-engine
axiom-lean-engine PublicLean evaluation and metaprogramming utilities for provers.
-
fel-polynomial
fel-polynomial PublicLean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
-
parity-differential
parity-differential PublicLean formalizations for the paper "Parity of k-differentials in genus zero and one"
-
axle-mcp-server
axle-mcp-server PublicMCP Server for AI agents to interact with our Lean infrastructure
Repositories
- dead-ends Public
AxiomMath/dead-ends’s past year of commit activity - partial-regularity Public
Lean formalizations for the paper "Almost all primes are partially regular"
AxiomMath/partial-regularity’s past year of commit activity - 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 - 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 - 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
