Solutions to exercises: Jay Cummings – Proofs: A Long-Form Mathematics Textbook
-
Updated
Aug 16, 2025
#
proofs-and-conjectures
Here are 6 public repositories matching this topic...
The Collatz Conjecture in multiple languages
javascript python computer-science mathematics collatz-conjecture conjectures proofs-and-conjectures
-
Updated
Aug 13, 2023 - C++
Livid Lattices for Large Lineages of Chains and Ciphers
merkle-tree hashing-algorithms compression-schemes compression-methods zero-knowledge ethereum-blockchain zero-knowledge-proofs rollups proofs-and-conjectures
-
Updated
Oct 1, 2020 - JavaScript
machine-verified proofs for euler's theorem and touchard's congruence
math proof mathematics proofs proofs-and-conjectures mathematical-proof machine-verifiable odd-perfect-number touchard
-
Updated
May 2, 2026 - Lean
A Proof of the Hecke-Landau Equidistribution
-
Updated
May 29, 2026 - TeX
A proof that 10 is solitary: no integer m ≠ 10 satisfies σ ( m ) / m = 9 / 5 .
-
Updated
May 2, 2026 - Lean
Improve this page
Add a description, image, and links to the proofs-and-conjectures topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proofs-and-conjectures topic, visit your repo's landing page and select "manage topics."