slawekk

Personal information


Real name: Slawomir Kolodynski

Former mathematician turned software engineer.


formalized mathematics

History


9 years 12 weeks