Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/doc/sphinx/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 672 B image not shown  

Quelle  index.html.rst   Sprache: unbekannt

 
Untersuchungsergebnis.rst Download desUnknown {[0] [0] [0]}zum Wurzelverzeichnis wechseln

==========================
Introduction and Contents
==========================

.. include:: introduction.rst

Contents
--------

.. toctree::

   self

.. toctree::
   :caption: Specification language

   language/core/index
   language/extensions/index

.. toctree::
   :caption: Proofs

   proofs/writing-proofs/index
   proofs/automatic-tactics/index
   proofs/creating-tactics/index

.. toctree::
   :caption: Using the Rocq Prover

   using/libraries/index
   using/tools/index

.. toctree::
   :caption: Appendix

   appendix/history-and-changes/index
   appendix/indexes/index
   zebibliography

.. No entries yet
  * :index:`thmindex`


.. include:: license.rst

[ zur Elbe Produktseite wechseln0.77Quellennavigators  ]