定理証明手習い作者: Daniel P. Friedman,Carl Eastlund,中野圭介出版社/メーカー: ラムダノート発売日: 2017/10/23メディア: 単行本（ソフトカバー）この商品を含むブログ (7件) を見る番外編ということで、定理証明手習いをAgdaでやってみた。 最初は、組…