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