REPO //Trendshift
captainsude/stoneham-prime-support_
Lean verified counterexample to a conjecture by Bailey and Crandall relating to Stoneham numbers.
★ 0⑂ 0Lean
Sep 12, 2026[40]
https://github.com/captainsude/stoneham-prime-supportcaptainsude/stoneham-prime-support
Every mention of this repository across all aggroNATION sources — one page, deduplicated.
Lean verified counterexample to a conjecture by Bailey and Crandall relating to Stoneham numbers.
LeanApache-2.0