次回ProofCafe

• 12/22 Schedule/ProofCafe_26
• 時間: 14:30 - 17:30
• 場所: 名古屋大学 理学部1号館 309
• 参加登録: PARTAKE: ProofCafe
• ソフトウェアの基礎のCoqにおける論理の「dist_not_exists」の説明から
• ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
• ハッシュタグ: #proofcafe