A mathematician and retired mathematics professor interested in algebraic K-theory and Voevodsky's univalent foundations who also writes mathematical software.
クラブ
Chess is very fun
10 人