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