Description
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:会場は変更になる場合があります。
以上
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の4章を読んでいきます。
ご注意:会場は変更になる場合があります。
以上
2020/02/22(Sat)
13:30 〜 16:30
Registration Period
2020/01/25(Sat) 18:39
〜
2020/02/22(Sat)
16:30