Hacker News new | ask | show | jobs
by Mgccl 4651 days ago
mathematician make errors. I want something that can be checked formally.
1 comments
GalacticDomin8r 4649 days ago
> mathematician make errors. I want something that can be checked formally.

So you mean math?

link