Theorem Prover Advent Calendar 2013

9
12
0

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


Owner: tmiya_ tmiya_

Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants