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