Proof Summit 2018 - Media List - connpass

Proof Summit 2018

Ended 2018/09/02（Sun） 11:00〜

Proof Summit 2018

定理証明系に関するユーザーイベントです。

東京都中央区銀座5-15-1(南海東京ビル)

Group Information

Members	268 people
Number of events	5

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

(未設定)

ニコニコをCoqで証明してみた

投稿者:lion

投稿日:Sept. 9, 2018, 3:16 p.m.

(未設定)

依存型の話

投稿者:lion

投稿日:Sept. 9, 2018, 3:17 p.m.