Homebrew formulas for formal verification and some other related packages that are missing in the official Homebrew repository
Install Homebrew and then execute the following command:
$ brew tap mht208/formal
To install OCaml related software such as Coq, mathcomp, alt-ergo, we recommend OPAM.