GitHub repository: rocq-prover/bot
Primary language: OCaml
Description: The Rocq Prover bot