Hacker News new | ask | show | jobs
by nestorD 2452 days ago
Side note: there is some industrial use (and interesting work) for theorem proving in software verification and cybersecurity.