ProofCafe -名古屋Coq勉強会- の共同主催者です。問い合わせは、twitter の 私宛のDMでお願いします。
ProofCafe
nextbeat
Opt Technologies/オプトテクノロジーズ
ステアラボソフトウェア技術セミナー
NGK(Nagoya Godo Konshinkai)
Qiita
coqtokyo
論理学友の会
NGK2020S
Proof Summit
基礎勉強会
ブックマークはありません。
フォローはいません。