user:robinzfc
created:Oct 10, 2019
karma:69
about:

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