Theorem Prover Advent Calendar 2013

作成者: tmiya_ tmiya_

Theorem Prover は定理証明系 (Coq, Agda, etc.) に関するAdvent Calenderです。

12 / 3
なんか手抜きで恐縮ですが入門向け記事という事でCoqでFizzBuzzという話を何回かに分けて書きます。納品前で忙しいんです。。。