This is really relevant to my interests and I've been meaning to go through it for a while, but I can't seem to find much documentation on getting started with Coq (the actual using of it, like how to run the compiler, etc). I'm sure the information is out there, but it's at least enough of a PITA to keep me from getting started... :(