# \[de\] Rocq auf Deutsch

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

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

---

## [Über die Rocq auf Deutsch Kategorie](https://discourse.rocq-prover.org/t/uber-die-rocq-auf-deutsch-kategorie/159)

<div class="topic-metadata">

**Author:** [@yforster](https://discourse.rocq-prover.org/u/yforster)\
**Replies:** 0\
**Last updated:** [February 26, 2019, 9:11pm UTC](https://discourse.rocq-prover.org/t/uber-die-rocq-auf-deutsch-kategorie/159 "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”.

---

## [Natürliches Schließen in Coq](https://discourse.rocq-prover.org/t/naturliches-schliessen-in-coq/425)

<div class="topic-metadata">

**Author:** [@burt](https://discourse.rocq-prover.org/u/burt)\
**Replies:** 0\
**Last updated:** [September 9, 2019, 7:06am UTC](https://discourse.rocq-prover.org/t/naturliches-schliessen-in-coq/425 "2019-09-09T07:06:54Z")

</div>

Ankündigung. Ein einführendes Tutorial zum Thema Natürliches Schließen in Coq habe ich auf meiner Webseite veröffentlicht . Das Tutorial führt in das natürliche Schließen nach Gerhard Gentzen ein und zeigt dann, wie man …