https://github.com/lambdacasserole/haha-box

A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.
https://github.com/lambdacasserole/haha-box

haha hoare-logic ubuntu ubuntu-bionic vagrant vagrant-box vagrantfile virtual-machine virtualbox

Last synced: 12 days ago
JSON representation

A Vagrant box with the Hoare Advanced Homework Assistant (HAHA) all set up and ready to go.

• Host: GitHub
• URL: https://github.com/lambdacasserole/haha-box
• Owner: lambdacasserole
• License: mit
• Created: 2019-09-04T23:47:23.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-09-05T22:58:26.000Z (about 5 years ago)
• Last Synced: 2024-10-10T22:14:56.725Z (about 1 month ago)
• Topics: haha, hoare-logic, ubuntu, ubuntu-bionic, vagrant, vagrant-box, vagrantfile, virtual-machine, virtualbox
• Language: Ruby
• Size: 15.6 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project