コラッツ予想がとけたらいいな その2

[0738 righ1113 ◆OPKWA8uhcY 2019/05/31(金) 07:22:26.05 ID:v8IIjC8x]

>>737
荒らされてる……?
証明はここにあります。
https://github.com/righ1113/collatzProof_DivSeq
割数列を使っています。
また、定理証明支援系Idrisを使用しています。