robinzfc

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

• Created10 Oct, 2019
• Karma62