Lean repository linked
Parity of k-differentials in genus zero and one
arXiv:2602.03722 · arXiv
Lean formalisations (1)
AxiomMath/parity-differential at 2b7f353175cf
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.