Theorem Prover Advent Calendar 2014

12
21
0

定理証明支援系に関する Advent Calendar です。

Theorem Prover Advent Calendar is looking for participants