Download Lastest Version

Posted: Monday, January 04, 2016

Download SPEC 0.2

$ git clone https://github.com/spec-project/SPEC-0.2.git

Download OCaml

For Ubuntu

$ apt-get install ocaml

For Mac OS

1. Install Homebrew

$ ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

2. Use Homebew to install OCaml

$ brew install ocaml

Source: ocaml.org

Older Versions

Posted: Monday, January 04, 2016

SPEC 0.1

$ git clone https://github.com/spec-project/SPEC-0.1.git