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