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