R rkirov.github.io Why formalize mathematics – more than catching errors 224 points birdculture 1 year ago 75 comments
