News for hackers. Stuff that matters.

A comment on Books I Recommend. Parent comment

Re:Books I Recommend by qznc on Monday February 25, 2019 @01:34PM (#19248088)
We do have theorem checker and proof assistants these days. Are there books to learn math with Isabelle or Coq?
[ Parent | on HN ]
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 ]