終了 2019/04/18（木） 20:00〜

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

7shi

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