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"
-
axle-mcp-server
axle-mcp-server PublicMCP Server for AI agents to interact with our Lean infrastructure
-
parity-differential
parity-differential PublicLean formalizations for the paper "Parity of k-differentials in genus zero and one"
Repositories
Showing 10 of 27 repositories
- HigherDyson Public
AxiomMath/HigherDyson’s past year of commit activity - TanArctan Public
AxiomMath/TanArctan’s past year of commit activity - PartitionElliptic Public
AxiomMath/PartitionElliptic’s past year of commit activity - RogersRamanujan-artifacts Public
Artifacts for "Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond"
AxiomMath/RogersRamanujan-artifacts’s past year of commit activity - RogersRamanujan Public
AxiomMath/RogersRamanujan’s past year of commit activity - zeta-h123 Public
Lean formalizations for the paper "Thakur's hypotheses on power sums over $\mathbb{F}_q[t]$"
AxiomMath/zeta-h123’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…