3 ms·

We do have theorem checker and proof assistants these days. Are there books to learn math with Isabelle or Coq?

• throwawaymath 8y ago
  Not really, because it's extremely nontrivial to formally verify the proofs of most theorems.