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
Showing 10 of 12 repositories
- 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 - dead-ends Public
AxiomMath/dead-ends’s past year of commit activity - axplorer Public
AxiomMath/axplorer’s past year of commit activity - axolver Public
AxiomMath/axolver’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…