Why formalize mathematics – more than catching errors

[birdculture]

Article URL: https://rkirov.github.io/posts/why_lean/

Comments URL: https://news.ycombinator.com/item?id=45632894

Points: 62

# Comments: 20