hubot-prove-everywhere

    0.1.0 • Public • Published

    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

    Install

    npm i hubot-prove-everywhere

    DownloadsWeekly Downloads

    5

    Version

    0.1.0

    License

    BSD3

    Last publish

    Collaborators

    • amutake