hubot-prove-everywhere (npm): hubot script for ProveEverywhere
Keywords: hubot|hubot-scripts|coq|prove-everywhere