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.
[Seitenstruktur0.11Druckenetwas mehr zur Ethik2026-04-26]
