robinzfc

Karma: 62

Joined: 超过 5 年前

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.