Quelle index.latex.rst Sprache: unbekannt

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

Quelle index.latex.rst Sprache: unbekannt

[ Dauer der Verarbeitung: 0.31 Sekunden ]