À propos de la catégorie Coq en français

Dans cette catégorie, vous pouvez poster des questions et lancer des discussions en français sur n’importe quel sujet lié à Coq.

Pour les annonces, utilisez la sous-catégorie “Annonces”.