News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by meneame2 on Saturday December 30, 2017 @09:03PM (#16038918)
Three extra classics:

* https://books.google.es/books?id=YseqCAAAQBAJ

* http://www.concrete-semantics.org/

* https://softwarefoundations.cis.upenn.edu/

[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by adultSwim on Wednesday January 03, 2018 @11:37AM (#16062430)
+1 for Software Foundations
[ Parent | on HN ]