Carmichael numbers are quickly findable (Lean-verified) [pdf]

(jdb19937.github.io) by jdb1729 | Sep 10, 2026 | 1 comments on HN