このエントリーをはてなブックマークに追加
『Coq/SSReflect/MathCompによる定理証明』読書会(1)

Ended 2019/04/04(Thu) 20:00〜

『Coq/SSReflect/MathCompによる定理証明』読書会(1)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

ブログはありません。