The docs I wish I had while learning Coq - View it on GitHub