- 04/27 [Schedule/ProofCafe_29]()
- 時間: 14:30 - 17:30
- 場所: [ハンバーグハウス源(どえりゃあ)](http://second.gensg.jp/gen/)
- 参加登録: [PARTAKE: ProofCafe](http://partake.in/events/b2924ad5-5fad-4e45-9cc5-46a682b5e8a2)
- [ソフトウェアの基礎](http://proofcafe.org/sf/) 今回は[SfLib_J](http://proofcafe.org/sf/SfLib_J.html)から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)
- 参加人数: 5人

##議論など
- [https://twitter.com/yoshihiro503/status/328039719965450240]()
- [https://twitter.com/yoshihiro503/status/328028445525295104]()
- [https://twitter.com/yoshihiro503/status/328043812578529281]()
- [https://twitter.com/kaizen_nagoya/status/328059836761796608]()
- [https://twitter.com/kaizen_nagoya/status/328061383159713792]()
- [https://twitter.com/kaizen_nagoya/status/328062113245454336]()
- [https://twitter.com/suharahiromichi/status/328067278845399040]()
- [https://twitter.com/maeda_/status/328068764899868672]()
- [https://twitter.com/suharahiromichi/status/328069689764896768]()