GitHub repository: righ1113/collatzProof_DivSeq
Primary language: Idris
Created: 2018-09-09T15:06:27Z
Description: 割数列を用いたコラッツ予想の証明