Revision 9a4afbc7bc7c98e5f2d5d663eb1b38060c1d0b7a
Front Page
ProofCafe
ProofCafeは名古屋でプログラムの証明について勉強する勉強会です。現在はソフトウェアの基礎というドキュメントを読んでいます。コーヒーを飲みながら楽しく証明しましょう。 イラストとロゴについて
- 日時 : 毎月第4土曜 13:30〜16:00ごろまで。
- ハッシュタグ: #proofcafe
次回勉強会とこれまでの活動
過去読んでいた文書
ProofCafeのメンバーが作ったもの作っているもの
Coqで実装
- マーク&スイープGC
- ocamltter: ターミナルで動作する対話的twitterクライアント
- MessagePackライブラリ