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: plus d'un an ago - Pushed: plus d'un an ago
