hubot-prove-everywhere
hubot script for ProveEverywhere
Last updated 6 years ago by amutake .
BSD3 · Repository · Bugs · Original npm · Tarball · package.json
$ cnpm install hubot-prove-everywhere 
SYNC missed versions from official npm registry.

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

Current Tags

  • 0.1.0                                ...           latest (6 years ago)

1 Versions

  • 0.1.0                                ...           6 years ago
Maintainers (1)
Downloads
Today 0
This Week 0
This Month 0
Last Day 0
Last Week 0
Last Month 1
Dependencies (1)
Dev Dependencies (0)
None
Dependents (0)
None

Copyright 2014 - 2016 © taobao.org |