Hacker News new | ask | show | jobs
by tprice7 4916 days ago
Thank you for the explanation. For a given set of axioms you have the same "blind spots" whether you are verifying proofs manually or with computer assistance.