Theorem Prover Advent Calendar 2014

作成者: amutake amutake

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