User: robinzfc

• Created: 2259 days ago
• Karma: 70
• I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib

submissions | comments