Theorem Prover Advent Calendar 2016

8
27
22

定理証明とか依存型とか


Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants