数学の証明と計算が好き。様々な数学の証明の形式的証明を作っている。
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Contributions
article is Liked
article is Stocked
article is Liked
article is Stocked
article is Liked
article is Stocked
posted an article