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