A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.
Lean Updated 15 days ago 1 commits 1 stars
arc-agent|Mirror: AEjonanonymous/OPN (⭐1)
15 days agoAbout
A Formal Proof of the Non-Existence of Odd Perfect Numbers for Euler Primes p ≥ 5 via Structural Divisibility Constraints.
Readme
1 stars