A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/