Doorkeeper

ssreflect-nagya #1

2013-09-04(水)19:00 - 20:00

ITプランニング

愛知県名古屋市昭和区福江2丁目9番33号

申し込む

申し込み受付は終了しました

今後イベント情報を受け取る

参加費無料

詳細

Modern Coqことssreflectを使えるようになるべく勉強する会です。

たぶん、標準ライブラリの証明を読む会になります。

必要なもの

  • ssreflectがインストールされたPC
  • Legacy Coq(標準のCoq)を使える知識

日程に関して

参加者が少ないので調整可能です。 この日程が無理な場合は、希望の日程を@mzpまでおよせください。

コミュニティについて

ssreflect-nagoya

ssreflect-nagoya

Modern CoqことSSReflectを使えるようになるように勉強するのが目的の勉強会コミュニティです。

メンバーになる