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

Usage

hubot proof new
- creates new coqtop and returns coqtop id
hubot proof put <id> <command>
- sends command to coqtop
hubot proof terminate <id>
- terminates coqtop