3
Repos
94
Stars
6
Forks
4
Watchers
Repositories (3)
fel-polynomial
AxiomMath/fel-polynomial
Lean
Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"
47
4
parity-differential
AxiomMath/parity-differential
Lean
Lean formalizations for the paper "Parity of k-differentials in genus zero and one"
28
2
lattice-triangle
AxiomMath/lattice-triangle
Lean
Lean formalizations for the paper "On the paucity of lattice triangles"
19
0