robinzfc
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib
Recent submissions
No submissions yet.
All submissions and comments on Hacker News.
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib
No submissions yet.
All submissions and comments on Hacker News.