| user | robinzfc |
| created | Jan 19, 1970 |
| karma | 70 |
| about | I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib |
| user | robinzfc |
| created | Jan 19, 1970 |
| karma | 70 |
| about | I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib |