robinzfc



submissions / comments / favourites


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