Hacker News
new
|
ask
|
show
|
jobs
Why formalize mathematics – more than catching errors
(rkirov.github.io)
214 points
by
birdculture
7 days ago
|
72 comments
Loading...
