The docs I wish I had while learning Coq