Questions related to Logical Foundations course from the University of Pennsylvania
Logical Foundations course covers functional programming, basic concepts of logic, computer-assisted theorem proving, and Coq. First volume of the Software Foundations series.