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 Mo - Last synced: 12 mois ago - Pushed: 12 mois ago
