yoshihiro503の日記

 | 

2010-11-12

[]第7回 ProofCafe (11月27日) は特別版として CoqPartyします。 第7回 ProofCafe (11月27日) は特別版として CoqPartyします。 - yoshihiro503の日記 を含むブックマーク はてなブックマーク - 第7回 ProofCafe (11月27日) は特別版として CoqPartyします。 - yoshihiro503の日記

Coq Party : ATND

[追記: 2010 11/28]

CoqPartyおつかれ様でした。皆さんありがとうございました。

発表資料をここにまとめます。

@tmiya_@tmiya_2010/11/28 12:10発表資料 http://www.slideshare.net/tmiya/coq-party20101127

 |