#

mathematical-formalization

Here are 2 public repositories matching this topic...

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 2, 2026
Rocq Prover

tongro2025 / GCSF-Lean

Formalization experiments around structural behavior near critical points of arithmetic functions.

proof-assistant type-theory formal-verification number-theory formal-mathematics lean-theorem-prover arithmetic-geometry lean4 l-functions mathematical-formalization

Updated Feb 22, 2026
TeX

Improve this page

Add a description, image, and links to the mathematical-formalization 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 mathematical-formalization topic, visit your repo's landing page and select "manage topics."