このエントリーをはてなブックマークに追加
Proof Summit 2016

終了 2016/09/25(日) 11:00〜

Proof Summit 2016

定理証明系と関数型言語に関するユーザーイベントです。

tmiya_ tmiya_

35.027611, 135.783778

イベント資料一覧

スライド

動画

動画はありません。

ブログなど