coqtokyo by connpass


開催する勉強会



過去の勉強会

8/3 (火)

No image 108x72 g coqtokyo
名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html 第1回講義メモの5ページ目「恒真色々」からです。 開催場所 オンライン勉強会です。Google meetを使っています。 ミーティングへのリンクは以下のとおりです。 https://meet.google.com/ffg-wujr-gnd 参加できないなど困ったときは、@tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。 タイムテーブル 19:00 - 20:30 ssreflectの講義資料を読む 5分休憩 20:35 - 21:00 自由発表 持ち物 Coqを動かせるPCなどの端末 参考情報 gistのコードをjscoqで動かす coqbanというもあります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6 slack 気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。 @tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )

7/20 (火)

No image 108x72 g coqtokyo
名古屋大学での講義資料を読みます。 https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html 開催場所 オンライン勉強会です。Google meetを使っています。 ミーティングへのリンクは以下のとおりです。 https://meet.google.com/ffg-wujr-gnd 参加できないなど困ったときは、@tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。 持ち物 Coqを動かせるPCなどの端末 参考情報 gistのコードをjscoqで動かす coqbanというもあります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6 slack 気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。 @tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )