robinzfc

Karma: 62

Joined: over 5 years ago

ID: robinzfc

About

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

Visit submission history to see stories and comments by robinzfc.