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