AxiomMath

AxiomMath

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
64 Stars
6 Forks
64 Watchers

Repositories (2)

fel-polynomial AxiomMath/fel-polynomial Lean

Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"

40
parity-differential AxiomMath/parity-differential Lean

Lean formalizations for the paper "Parity of k-differentials in genus zero and one"

24