https://github.com/monklimonk/mini_collatz_demo-
Minimal Coq formalization of Collatz iteration with proofs and computations (n27 ->1)
https://github.com/monklimonk/mini_collatz_demo-
collatz conjecture coq demo formal-verification lyapunov mathematics number-theory proof rocq-prover
Last synced: 7 months ago
JSON representation
Minimal Coq formalization of Collatz iteration with proofs and computations (n27 ->1)
- Host: GitHub
- URL: https://github.com/monklimonk/mini_collatz_demo-
- Owner: Monklimonk
- License: mit
- Created: 2025-11-02T13:41:15.000Z (7 months ago)
- Default Branch: main
- Last Pushed: 2025-11-02T17:50:51.000Z (7 months ago)
- Last Synced: 2025-11-02T19:19:05.746Z (7 months ago)
- Topics: collatz, conjecture, coq, demo, formal-verification, lyapunov, mathematics, number-theory, proof, rocq-prover
- Homepage:
- Size: 351 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0