Coq 8.5 or later
GHC 7.8 or later
Cabal 1.18 or later (the Haskell Platform includes GHC and Cabal)
Agda 2.4 or later
OCaml 4.02 or later with OPAM 1.2 or later
Sill 1.3 or later; if OPAM is installed, sill can be installed with opam install sill
Proof General