ここのところ、SOFTWARE FOUNDATIONSに取り組んでいます。 これは、coqを使用して「高信頼ソフトウェアに関する広範囲の数学的基礎を学べる。」とのことです。 本日完了したのは、第一巻のinduction:帰納法による証明まで、練習問題が用意されており下記に示…