Theorem Prover Advent Calendar 2014

Owner: amutake amutake

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