終了 2019/07/25(木) 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(8)
7shi
東京都豊島区南池袋1-16-20 (ぬかりやビル2階)
Coq読書会
スライドはありません。
動画はありません。
ブログはありません。