bot A (Coq Development Team) bot written in OCaml

授权协议：MIT License操作系统：跨平台开发语言：Python

A multi-function bot, written in OCaml Most of the functions of this bot are used in the developm...