数学の証明と計算が好き。様々な数学の証明の形式的証明を作っている。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Followers
No followers
数学の証明と計算が好き。様々な数学の証明の形式的証明を作っている。
No Organizations you are following
No tags you are following
No followers