Package Usage: docker: coqbot
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hub.docker.com/packages/coqbot
Dependent Repos 1
coq/bot
A (Coq Development Team) bot written in OCamlSize: 6.73 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
