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

repeatsの定義

https://twitter.com/yoshihiro503/status/295059014348308481