Jul
20
coqtokyo 第1回Ssreflect勉強会
Registration info |
参加枠1 Free
Attendees
|
---|
Description
名古屋大学での講義資料を読みます。 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 でアカウントとして利用するためのメールアドレスをお知らせください )
Media View all Media
If you add event media, up to 3 items will be shown here.