Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name extraction_plugin)
(public_name rocq-runtime.plugins.extraction)
(synopsis "Rocq's extraction plugin")
(libraries rocq-runtime.vernac))
(deprecated_library_name
(old_public_name coq-core.plugins.extraction)
(new_public_name rocq-runtime.plugins.extraction))
(rule
(targets g_extraction.ml)
(deps (:mlg g_extraction.mlg))
(action (chdir %{project_root} (run rocq pp-mlg %{deps}))))
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.10Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
*Bot Zugriff
