HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by eastWestMath | Hacker News Reader
Parent
Full thread
eastWestMath
·
As a theorist, not it goddamn doesn't.
View on HN
jononor
·
How do you validate your theories?
eastWestMath
·
I prove them.
harveywi
·
What about an agda proof?
Reply on news.ycombinator.com