robinzfc

...joined 4 years ago, and has 54 karma

submissions / comments / favourites

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