Schedule/ProofCafe_15

Software foundation Benjamin C. Pierce の最初を読みました。

http://www.cis.upenn.edu/~bcpierce/sf/

http://proofcafe.org/sf/