- 07/28 [Schedule/ProofCafe_22]()
- 時間: 14:30 - 17:30
- 場所: [名古屋大学 理学部1号館(多元数理科学棟)3階307教室]()
- 参加登録: [PARTAKE: 第22回 ProofCafe](http://partake.in/events/84bed6f1-cf07-46da-8776-c79e5b2542ad)
- [ソフトウェアの基礎](http://proofcafe.org/sf/)の[命題と論拠](http://proofcafe.org/sf/Prop_J.html)のはじめから
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- 参加者: