Hacker News new | ask | show | jobs
by SneakyTornado29 1828 days ago
Last time someone talked about automating proofs, a whole new field was invented (computer science)