Coqりさんの会

Coq

イベント内容

概要

ひたすらにCoqを使って何かやる感じのゆるふわ勉強会です。ゆるふわです。
主催のzakky_devは勉強中ですので、Coq気になってたけどまだ触っていない方も是非。
もちろんガチ勢も歓迎です。

対象者

  • Coqを触りたい人

内容

個々人でひたすらCoqを触り、わからないところがあったら他の参加者の人に質問する感じです。
主催者はソフトウェアの基礎やる予定。

持ち物

  • ノートPC
  • Coqをやろうとする気持ち

事前準備

  • Coqのインストールなど環境構築

会場について

未定ですが、そこまで大規模にはやりません。
開催予定地は名古屋近辺になると思われます。

注意事項

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