https://github.com/chat-apropo/coqbot

Irc coq repl bot
https://github.com/chat-apropo/coqbot

bot coq irc repl

Last synced: 5 months ago
JSON representation

Irc coq repl bot

• Host: GitHub
• URL: https://github.com/chat-apropo/coqbot
• Owner: chat-apropo
• Created: 2022-05-29T05:08:20.000Z (about 4 years ago)
• Default Branch: master
• Last Pushed: 2022-08-01T02:17:05.000Z (almost 4 years ago)
• Last Synced: 2025-04-14T05:44:30.374Z (about 1 year ago)
• Topics: bot, coq, irc, repl
• Language: Python
• Homepage:
• Size: 14.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Coq Bot

Proof of concept coq repl bot for irc. There is not any sort of sandboxing at the moment so this bot could become literally a reverse shell bot if Coq somehow lets that happen. All this does is to wrap `coqtop` at lets each user have his instance.

## Usage

Copy `conf.py.example` to `conf.py`, edit it and start `bot.py`.