• I just want to try out Coq without having to install anything at first. Is that possible?
• I am ready to install Coq on my machine. Do you have some quick instructions on how to do that?
• I have a background in mathematics / programming / other field. What are accessible resources for someone with my background?
• Where can I find an overview of the various libraries, resources, packages and extensions of Coq that exist?
• I'm just getting started and my question isn't answered here. What can I do?
• What IDE's are available for using Coq?