coqtokyo 第1回Ssreflect勉強会

2021/07/20(火)19:00 〜 19:30 開催
ブックマーク

イベント内容

名古屋大学での講義資料を読みます。 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 でアカウントとして利用するためのメールアドレスをお知らせください )

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。