User: robinzfc

Created: 10/10/2019, 8:20:55 AM

Karma: 60

I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib
submissionscommentsfavorites