Revision 85903a8ece9a9349031b702d13df884b318d3d74
Schedule/ProofCafe_34
- 12/28 Schedule/ProofCafe_34
- 時間: 13:30 - 17:30
- 場所: 名古屋大学多元数理科学棟 309
- 参加登録:#ProofCafe - Partake
- Ssreflect
- Ssreflectのライブラリ
- ソフトウェアの基礎 今回はEquiv_Jの練習問題WHILE_trueから
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe
- 人数: 8人