hubot-prove-everywhere
======================

This is a hubot plugin to use prove-everywhere.

This plugin makes it possible to use Coq in your chat room!

Installation
------------

- add `"hubot-prove-everywhere": ""` to your hubot's `package.json`
- add `"hubot-prove-everywhere"` to `external-scripts.json`
- set `HUBOT_PROVE_EVERYWHERE_URL` as an enviroment variable
  - URL of your prove-everywhere-server
  - e.g., `http://amutake.me:50905`