Resources Readings Coq (Inria) Coq in a Hurry Coq Winter School, repo Official Docs for Coq Formal Reasoning About Programs (book + problem sets), FRAP book Math Components Book Software Foundations Books Tactics Cheatsheet Source code etc. Coq source VsCoq source jsCoq List of IDEs Prettify Symbols extension for VSCode