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 18 repositories
- andrews_dhar_problem Public
AxiomMath/andrews_dhar_problem’s past year of commit activity - AgreeToDisagree Public
Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"
AxiomMath/AgreeToDisagree’s past year of commit activity - Biswal Public
AxiomMath/Biswal’s past year of commit activity - axplorer Public
AxiomMath/axplorer’s past year of commit activity - ramanujan-tau-misses-primes Public
Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"
AxiomMath/ramanujan-tau-misses-primes’s past year of commit activity - axolver Public
AxiomMath/axolver’s past year of commit activity - Granville Public
AxiomMath/Granville’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…