https://github.com/lambdacasserole/isabelle-utp-box
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
https://github.com/lambdacasserole/isabelle-utp-box
isabelle utp vagrant virtual-machine vm
Last synced: 3 months ago
JSON representation
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
- Host: GitHub
- URL: https://github.com/lambdacasserole/isabelle-utp-box
- Owner: lambdacasserole
- License: unlicense
- Created: 2019-03-22T10:39:28.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-03-23T12:27:29.000Z (over 6 years ago)
- Last Synced: 2025-02-12T20:19:45.020Z (5 months ago)
- Topics: isabelle, utp, vagrant, virtual-machine, vm
- Language: Shell
- Size: 5.86 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Isabelle/UTP Box
Ubuntu 18.04 Bionic Beaver with Isabelle/UTP installed and ready to go.
## Prerequisites
You'll need [Oracle VM VirtualBox](https://www.virtualbox.org/wiki/Downloads) installed as well as [Vagrant](https://www.vagrantup.com/downloads.html).
### Plugins
You'll need the `vagrant-reload` plugin because the box needs a restart after provisioning, and the `vagrant-disksize` plugin so the provisioner can expand the virtual hard disk size as-needed. Install them like this:
```bash
vagrant plugin install vagrant-reload
vagrant plugin install vagrant-disksize
```
## Setup
Like any Vagrant box, run:
```bash
vagrant up
```
From there, use:
```bash
vagrant ssh
```
To access the box over SSH.
## Usage
From a terminal, run:
```bash
sudo isabelle-utp-ide
```
Note that `sudo` is only needed on first run to permit write access to the directory for compilation. After this is complete, `isabelle-utp-ide` by itself will suffice.
## Details
The box is running Ubuntu "Bionic Beaver" 18.04 LTS (Desktop) with:
* Isabelle/HOL
* Isabelle/UTP