nianchen1231-netizen / jsp-000301-powerful-numbers

git clone https://github.com/nianchen1231-netizen/jsp-000301-powerful-numbers.git

Lean 4 formalization for JSP-000301: two consecutive powerful numbers (12167, 12168), neither a perfect square. Disproves the conjecture. Math due to Golomb (1970).