robinzfc
since 10/10/2019
70 karma
submissionscommentsfavorites
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib