GitHub repository: profclems/bot
Description: A (Coq Development Team) bot written in OCaml