Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name protocol)
(public_name coqide-server.protocol)
(wrapped false)
(modules_without_implementation interface)
(libraries rocq-runtime.lib))
(ocamllex xml_lexer)
[Dauer der Verarbeitung: 0.5 Sekunden, vorverarbeitet 2026-09-28]
