Schedule/ProofCafe_15

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

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

http://proofcafe.org/sf/

参加者は9人 さいかわさんは4時半に会合のため退席