| user: | robinzfc |
| created: | 7 years ago |
| karma: | 72 |
| about: | I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib |
| user: | robinzfc |
| created: | 7 years ago |
| karma: | 72 |
| about: | I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib |