Handbook of practical logic and automated reasoning
by Harrison, J.
2mentions
0recommended by
2HN commenters
2015–2017first – last mentioned
100% neutral
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
My current reading list: - Fundamental Proof Methods in Computer Science - Handbook of Practical Logic and Automated Reasoning - Software Abstractions - The Little Prover Yes, currently I have Athena, OCaml, Alloy, ACL2 (via Dr Racket/Dracula) all up and running to work through the exercises in these books. I'm very skeptical…
on “Coming Soon: Machine-Checked Proofs in Everyday Development” ↗If anyone's interested in more examples, I have a complete F# port of the example code from The Handbook of Practical Logic and Automated Reasoning I did a while back with a couple of other F# devs: https://github.com/jack-pappas/fsharp-logic-examples
on “Automated reasoning in F#, Scala, Haskell, C++, and Julia” ↗