0.1.0 • Published 10 years ago

hubot-prove-everywhere v0.1.0

Weekly downloads
1
License
BSD3
Repository
github
Last release
10 years ago

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
hubothubot-scriptscoqprove-everywhere
coffee-script
@everything-registry/sub-chunk-1876
0.1.0

10 years ago