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