robinzfc
has 63 karma and joined 5 years ago
submissions
/
comments
/
favourites
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib