Spracherkennung für: .rst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
==================================
The Rocq Prover Reference Manual
==================================
------------
Introduction
------------
.. include:: introduction.rst
.. include:: license.rst
----------------------
Specification language
----------------------
.. toctree::
language/core/index
language/extensions/index
------
Proofs
------
.. toctree::
proofs/writing-proofs/index
proofs/automatic-tactics/index
proofs/creating-tactics/index
---------------------
Using the Rocq Prover
---------------------
.. toctree::
using/libraries/index
using/tools/index
--------
Appendix
--------
.. toctree::
appendix/history-and-changes/index
zebibliography
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-04-28]
