終了 2019/09/23（月） 13:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(12)
7shi
東京都豊島区南池袋1-16-20 (ぬかりやビル2階)
7/12人
終了 2019/09/05（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(11)
8/10人
終了 2019/08/22（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(10)
8/12人
終了 2019/08/08（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(9)
終了 2019/07/25（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(8)
7/8人
終了 2019/07/11（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(7)
9/12人
終了 2019/06/27（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(6)
10/12人
終了 2019/06/13（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(5)
11/12人
終了 2019/05/30（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(4)
終了 2019/05/16（木） 20:00〜
『Coq/SSReflect/MathCompによる定理証明』読書会(3)
13/25人
勉強会中に書いたファイル
7shi
