Theorem Prover Advent Calendar 2016

6
5
20

定理証明とか依存型とか


Owner: ghost ghost

Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants