TKTeruyuki Kobayashi0000-0002-5662-6948FollowPublicationsThe formal proof of 3x+1 problemUsage metrics 0 0 0 Co-workers & collaboratorsYKYoko Kobayashi
