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