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