Coqりさんの会

イベント内容

概要

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

対象者

• Coqを触りたい人

内容

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

持ち物

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

事前準備

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

会場について

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

注意事項