Beginning Coq Reference Sheet

This project is to contain a listing of common facts for working with the Coq language. The listing sheet, as PDF, can be found here, while below is an html rendition.