Revision d347e3d7fd91c09bda246e875f1faa022522733b
Schedule/ProofCafe_27
- 01/26 Schedule/ProofCafe_27
- 時間: 14:30 - 17:30
- 場所: 名古屋大学 東山キャンパス 多元数理科学棟 309号室
- 参加登録: PARTAKE: ProofCafe
- ソフトウェアの基礎
- ドキュメントはCoqソースコードから自動生成されています。ソースコード全体はこちら: http://proofcafe.org/sf/sfja.tar.gz
- ハッシュタグ: #proofcafe
- 参加人数: 6人
nostutterの定義
- https://twitter.com/t6s/status/295051241258639361
- https://twitter.com/maeda_/status/295051256102277121
- https://twitter.com/yoshihiro503/status/295051547941928960
- https://twitter.com/suharahiromichi/status/295052180631744514