Theorem Prover Advent Calendar 2013

13
19
0

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

Theorem Prover Advent Calendar is looking for participants

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