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

Quelle  license.rst   Sprache: unbekannt

 
Spracherkennung für: .rst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

.. note:: **License**

   This material (the Rocq Reference Manual) may be distributed only
   subject to the terms and conditions set forth in the Open
   Publication License, v1.0 or later (the latest version is presently
   available at http://www.opencontent.org/openpub). Options A and B
   are not elected.

[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-13]