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 abecedarius on Saturday December 30, 2017 @07:15PM (#16038492)
> The Little Schemer

Do you mean The Little Prover?

[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by haskellandchill on Saturday December 30, 2017 @07:18PM (#16038504)
Yes! Thanks.
[ Parent | on HN ]