Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems)

http://ift.tt/1VlAPWY

Submitted May 03, 2017 at 12:33PM by JeanParker http://ift.tt/2qsfL8e Check me out at http://ift.tt/1RyFBcs !