ITプランニング
愛知県名古屋市昭和区福江2丁目9番33号
Registration is closed
Get invited to future events
Modern Coqことssreflectを使えるようになるべく勉強する会です。
たぶん、標準ライブラリの証明を読む会になります。
参加者が少ないので調整可能です。 この日程が無理な場合は、希望の日程を@mzpまでおよせください。
Modern CoqことSSReflectを使えるようになるように勉強するのが目的の勉強会コミュニティです。
