| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/plugins/extraction/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 407 B |
|
Quelle duneSprache: JAVA |
|||||||||
|
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})))) ¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
2026-07-09