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