Theorem Prover Advent Calendar 2015

5
18
18

定理証明とかその辺

Theorem Prover Advent Calendar is looking for participants