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