- 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]()

### repeatsの定義
- [https://twitter.com/yoshihiro503/status/295059014348308481]()