A mathematician and retired mathematics professor interested in algebraic K-theory and Voevodsky's univalent foundations who also writes mathematical software.
Klubovi
Chess is very fun
10 član(ov)a