# Über die Rocq auf Deutsch Kategorie

**URL:** https://discourse.rocq-prover.org/t/uber-die-rocq-auf-deutsch-kategorie/159
**Category:** \[de\] Rocq auf Deutsch
**Created:** [February 26, 2019, 9:11pm UTC](https://discourse.rocq-prover.org/t/uber-die-rocq-auf-deutsch-kategorie/159 "2019-02-26T21:11:50Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![yforster](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/yforster/32/30_2.png) [@yforster](https://discourse.rocq-prover.org/u/yforster)
#### Post date: [February 26, 2019, 9:11pm UTC](https://discourse.rocq-prover.org/t/uber-die-rocq-auf-deutsch-kategorie/159/1 "2019-02-26T21:11:50Z")

</div>

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

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