ITプランニング
愛知県名古屋市昭和区福江2丁目9番33号
申し込み受付は終了しました
今後イベント情報を受け取る
Modern Coqことssreflectを使えるようになるべく勉強する会です。
たぶん、標準ライブラリの証明を読む会になります。
参加者が少ないので調整可能です。 この日程が無理な場合は、希望の日程を@mzpまでおよせください。
Modern CoqことSSReflectを使えるようになるように勉強するのが目的の勉強会コミュニティです。