Coq Proof Assistant v8.3pl2 (fr.inria.coqide) is a Mac software application that has been discovered and submitted by users of Software.com.

Operating System: Mac

Default Install Path: /Applications/CoqIdE_8.3pl2.app

Bundle Identifier: CoqIDE (fr.inria.coqide)

Bundle Information: Coq_v8.3pl2

Copyright: Copyright 1999-2010, The Coq Development Team INRIA - CNRS - LIX - LRI - PPS