Schedule/ProofCafe_29

• 04/27 Schedule/ProofCafe_29
• 時間: 14:30 - 17:30
• 場所: ハンバーグハウス源(どえりゃあ)
• 参加登録: PARTAKE: ProofCafe
• ソフトウェアの基礎 今回はSfLib_Jから
• ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
• ハッシュタグ: #proofcafe
• 参加人数: 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