YKYoko Kobayashi0000-0002-2704-3882FollowPublicationsThe formal proof of 3x+1 problemUsage metrics 0 0 0 Co-workers & collaboratorsTKTeruyuki Kobayashi
