robinzfc

Created:5 years agoKarma: 59

submissions / comments / favorites

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