Hacker News new | past | comments | ask | show | jobs | submit login

user: robinzfc created: October 10, 2019 karma: 63 about: I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib submissions comments favorites