Über die Coq auf Deutsch Kategorie

In dieser Kategorie können Sie zu jedem Thema, das mit Coq zusammenhängt, Fragen stellen und Diskussionen auf Deutsch beginnen.

Verwenden Sie für Ankündigungen die Unterkategorie “Ankündigungen”.