from
Hacker News
Top
New
robinzfc
joined 10/10/19, 8:20 AM has 62 karma
I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib
This user hasn't posted yet