robinzfc Karma 74 Created 7 years ago About I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib All submissions on HN · View profile on HN