robinzfc
Joined 7 years ago, with 73 karma
Submissions
Comments
Favorites
Follow via RSS
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib