Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name gramlib)
(public_name rocq-runtime.gramlib)
(modules_without_implementation plexing)
(libraries rocq-runtime.lib))
(deprecated_library_name
(old_public_name coq-core.gramlib)
(new_public_name rocq-runtime.gramlib))
[ Dauer der Verarbeitung: 0.22 Sekunden
]
