Revision e606922e906747de326433410dc89abd4c8da641
Schedule/ProofCafe_32
- 09/28 Schedule/ProofCafe_32
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 多元数理棟 309
- 参加登録:第32回 #ProofCafe - Partake
- ソフトウェアの基礎 今回は?から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe