# \[de\] Rocq auf Deutsch

**URL:** https://discourse.rocq-prover.org/c/rocq-in-german/19.md?page=1

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

**Page:** 2

[Previous page](https://discourse.rocq-prover.org/c/rocq-in-german/19.md)