UNPKG

hubot-prove-everywhere

Version:

hubot script for ProveEverywhere

github.com/prove-everywhere/hubot-prove-everywhere

prove-everywhere/hubot-prove-everywhere

16 lines (11 loc) • 449 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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`