Carmichael numbers are quickly findable (Lean-verified) [pdf]
By jdb1729 · 2026-09-10 · 1 points · 1 comments
https://jdb19937.github.io/carmichael/carmichael.pdf
By jdb1729 · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews