Vagrant configuration for a basic Coq programming environment.
Execute the following 3 commands
$ git clone https://github.com/bennn/vagrant-opam.git
$ cd vagrant-opam
$ vagrant up
You should now be the proud owner of a Linux VM with up-to-date:
- OPAM
- Coq
- CoqIDE
- Emacs + Proof General