Lean repository linked
Uniqueness of four-body convex central configurations for all masses
arXiv:2609.35632 · arXiv
Lean formalisations (1)
tejasvi/lean4body-uniqueness at 353653eceec4
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.