• What is the license of Coq?
• Where can I find the sources of Coq?
• On which platforms is Coq available?
• Installation links by platform:
• Installation medium: