Theorem Prover Advent Calendar 2014

11
21
0

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


Owner: amutake amutake

Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants