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

**１３２人目の素数さん** · 2012/10/14(日) 10:32:39.71

525 名前：１３２人目の素数さん[sage] 投稿日：2012/09/03(月) 18:24:27.22
http://d.hatena.ne.jp/righ1113/
コラッツ予想について、証明を考えてみました。
ご指摘ご意見ご感想など、ぜひよろしくお願いします。

**１３２人目の素数さん** · 2016/07/11(月) 21:08:26.81

Coqでコラッツの予想を厳密に定義するとどんな感じになるの？

**１３２人目の素数さん** · 2016/07/11(月) 22:30:49.04

有限回繰り返したときってCoqでどうやって表現すりゃいいんだ？