News for hackers. Stuff that matters.

A comment on Books I Recommend. Parent comment

Re:Books I Recommend by throwawaymath on Monday February 25, 2019 @03:11PM (#19248954)
Not really, because it's extremely nontrivial to formally verify the proofs of most theorems.
[ Parent | on HN ]

There are no comments on this comment yet.