❤
npm
Sign UpSign In

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

Versions

Current Tags

  • Version
    Downloads (Last 7 Days)
    • Tag
  • 0.1.0
    1
    • latest

Version History

  • Version
    Downloads (Last 7 Days)
    • Published
  • 0.1.0
    1

Package Sidebar

Install

npm i hubot-prove-everywhere

Repository

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

Homepage

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

Weekly Downloads

1

Version

0.1.0

License

BSD3

Last publish

Collaborators

  • amutake
Try on RunKit
Report malware