#

thwaites-conjecture

Here are 3 public repositories matching this topic...

smgladkovskiy / 3nplus1

Realisation of Collatz conjecture (or 3n+1 problem) written on go.

collatz-conjecture hailstone-numbers 3nplus1-problem ulam-conjecture kakutani-s-problem thwaites-conjecture hasse-s-algorithm syracuse-problem hailstone-sequence

Updated Aug 24, 2021
Go

gandarez / collatz-conjecture

Golang implementation of 3N+1 problem

golang collatz-problem ulam-conjecture kakutani-s-problem thwaites-conjecture hasse-s-algorithm syracuse-problem

Updated Dec 15, 2021
Makefile

noya2012 / collatz-conjecture-coq-framework

A comprehensive Coq formalization of the Collatz conjecture with a combinatorial analysis framework. Proves linear division advantage.

coq theorem-proving formal-verification number-theory collatz-conjecture proof-engineering combinatorial-analysis hailstone-numbers kakutani-s-problem thwaites-conjecture syracuse-problem mathematical-proof mathematical-formalization

Updated Mar 7, 2026
Rocq Prover

Improve this page

Add a description, image, and links to the thwaites-conjecture topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the thwaites-conjecture topic, visit your repo's landing page and select "manage topics."