Steps To Install coq on Mac

Package Information:

Name: coq
Use: Coq is a formal proof management system
URL: https://coq.inria.fr/

Installation Steps:

1. Open Terminal on your Mac.
2. Execute the following command
   

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install coq using brew

   brew install coq

coq is ready to use now!