Version 5.6 (09 Jan 2019, Coq 8.8.1)
Logical Foundations is the entry-point to the series. It covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq.
My solutions to the Software Foundations Book Volume 1: softwarefoundations.cis.upenn.edu/lf-current.