Solutions to exercises: Jay Cummings – Proofs: A Long-Form Mathematics Textbook
-
Updated
Aug 16, 2025
#
proofs-and-conjectures
Here are 7 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
A Proof of the Hecke-Landau Equidistribution
-
Updated
May 29, 2026 - TeX
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
The Iris Number System: a mechanical, countable definition of numbers, giving a uniquely reliable deduction framework for number theory, analysis, and more
calculus analysis proofs number-theory proofs-and-conjectures nonstandard-analysis conjecture-solving
-
Updated
Aug 1, 2026 - TypeScript
A proof that 10 is solitary: no integer m ≠ 10 satisfies σ ( m ) / m = 9 / 5 .
-
Updated
Sep 9, 2026 - TeX
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."