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

自分の考察を書いていきます。

Entries from 2018-03-17 to 1 day

定理証明手習いをCoqで 第3章

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本(ソフトカバー)この商品を含むブログ (7件) を見る @suharahiromichi この文書のソースコードは以下にあります。 https:/…