The Coq development is available for educational, research or evaluation purposes only.
Download it here.