# 26回ProofCafe
- 12/22 [Schedule/ProofCafe_26]()
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 理学部1号館 309
- 参加登録: [PARTAKE: ProofCafe](http://partake.in/events/d7fcf672-1d6d-40b5-8b53-bc4299f763c7)
- [ソフトウェアの基礎](http://proofcafe.org/sf/)の[Coqにおける論理](http://proofcafe.org/sf/Logic_J.html)の「dist_not_exists」の説明から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: [http://proofcafe.org/sf/sfja.tar.gz]()
- ハッシュタグ: [#proofcafe](http://twitter.com/#!/search/realtime/%23proofcafe)