A Machine-Verified Constructive Proof of Lemoine's Conjecture.
HTML Updated 3 days ago 1 commits 1 stars
helix-ai|Mirror: AEjonanonymous/Lemoine-Conjecture (⭐1)
3 days agoAbout
A Machine-Verified Constructive Proof of Lemoine's Conjecture.
Readme
1 stars