Y
Hacker News
new
|
ask
|
show
|
jobs
by
GalacticDomin8r
4601 days ago
> mathematician make errors. I want something that can be checked formally.
So you mean math?