- 10/27
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 理学部A館 428
- 参加登録: [PARTAKE: 第23回 ProofCafe](http://partake.in/events/8043bda9-a1dc-466e-aa33-3ab6bc5eac5a)
- [ソフトウェアの基礎](http://proofcafe.org/sf/)の[命題と論拠](http://proofcafe.org/sf/Prop_J.html)の「???」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()