Hacker News

User

robinzfc

Registered:9 months ago
Karma:3
About:

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