Revision f4c9cc72ca2b7d5b2f1fc70843c3d894e291893f
Schedule/Proofcafe_36
- 02/22 Schedule/Proofcafe_36
- 時間: 13:30 - 17:30
- 場所: 名古屋大学 多元数理科学棟 309
- 参加登録: #ProofCafe - Partake
- Ssreflect: Ssrboolから (Ssreflect, Ssreflectのライブラリ, Ssreflect tutorial, kikさんのチートシート)
- ソフトウェアの基礎 今回はEquiv_Jの「プログラムが同値でないことを証明する」から
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe