- 02/23 [Schedule/ProofCafe_28]()
- 時間: 14:30 - 17:30
- 場所: [ハンバーグハウス源(どえりゃあ)](http://second.gensg.jp/gen/)
- 参加登録: [PARTAKE: ProofCafe](http://partake.in/events/9c1ffb78-11d9-49a3-b83b-1de3a97d41f5)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回は[Logic_J](http://proofcafe.org/sf/Logic_J.html)
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)