huwngtran/thomson-n7-lean
Lean 4 proof that the pentagonal bipyramid uniquely minimises Coulomb energy for 7 points on S2. Statement not human-certified. Not peer reviewed.
Lean
2
0Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
Data is not available yet
Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available