Registration info |
Registration not needed, or register on another site. |
---|
Description
萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の6.2節を読んでいきます。
参加をご希望のかたは、管理者までお問い合わせください。
可能ならば coq-mathcomp-fingroup を事前にインストールしておいてください。
以上