Top New Best Ask Show Jobs

robinzfc

74 karma · joined October 10, 2019

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

submissions comments

No submissions yet.