Theorem Prover Advent Calendar 2014

9
14
0

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


Owner: amutake amutake

Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants