Lean repository linked
On the paucity of lattice triangles
arXiv:2603.23928 · arXiv
Lean formalisations (1)
AxiomMath/lattice-triangle at 102f7c7e511c
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.