Please use this URL when linking to this file. https://doi.org/10.6084/m9.figshare.c.6472138
Read the paper here. https://doi.org/10.6084/m9.figshare.c.6472138
This is a complete formal proof of the Collatz conjecture, a well-known unsolved problem in mathematics.
All theory and all implementation of this proof was developed entirely by Teruyuki and Yoko Kobayashi.
This project began in May 2022 and was completed in March 2023.
We have not been able to obtain the cooperation of any academic institution and therefore lack the funds.
We need R&D funds.
Please help us.
Works with Coq 8.16. https://github.com/coq/coq