Comment Comment by njs12345 A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/ parent njs12345 4 years ago
