New top story on Hacker News: Coming Soon:Machine-Checked Proofs in Everyday Software and Hardware Development

http://ift.tt/2EfGusD
New top story on Hacker News: Coming Soon:Machine-Checked Proofs in Everyday Software and Hardware Development http://ift.tt/2zQ5nrH
via IFTTT