coq / bot

A (Coq Development Team) bot written in OCaml
23Updated 3 weeks ago

Alternatives and similar repositories for bot:

Users that are interested in bot are comparing it to the libraries listed below