Book series on formal verification of the programs, logic programming, theorem provers and coq.

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

#book #books #coq #logic #verification