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

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

Entries from 2018-03-04 to 1 day

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

定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本(ソフトカバー)この商品を含むブログ (7件) を見るこの本を練習しようと思った。 Schemeでやるのはつらいな〜と思ってい…