slawekk

Personal information


Real name: Slawomir Kolodynski

Former mathematician turned software engineer.


formalized mathematics

History


16 years 18 weeks