- 09/28 [Schedule/ProofCafe_32]()
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 多元数理棟 309
- 参加登録:[第32回 #ProofCafe - Partake](http://partake.in/events/7c45b683-889f-4f38-a131-ba90a9d58b91)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回は?から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)