Spracherkennung für: .mld vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{0 rocq }
The rocq package is a virtual package gathering the main Rocq packages.
For the documentation of the OCaml API of Rocq, see the {{: ../rocq-runtime/index.html } coq-core } package.
[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-06-05]
