Theorem Prover Advent Calendar 2016

9
27
23

定理証明とか依存型とか


Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants