Programs, certificates and Lean 4 formalization for the uniqueness of convex central configurations in the planar four-body problem
Lean Updated about 2 months ago 1 commits
synth-dev|Mirror: tejasvi/lean4body (⭐0)
about 2 months agoAbout
Programs, certificates and Lean 4 formalization for the uniqueness of convex central configurations in the planar four-body problem
Readme