Proof Summit 2015 - Media List - connpass

Proof Summit 2015

Ended 2015/09/12（Sat） 13:00〜

Proof Summit 2015

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

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

Group Information

Members	268 people
Number of events	5

Media List

スライド

ATS/LF for Coq users

投稿者:masterq

投稿日:Sept. 24, 2015, 8:29 p.m.

SAT/SMTソルバの仕組み

投稿者:msakai

投稿日:Sept. 18, 2016, 3:42 p.m.

動画

動画はありません。

ブログなど

ブログはありません。