| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/plugins/syntax/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 516 B |
|
Quelle duneSprache: JAVA |
|||||||||
|
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (library
(name number_string_notation_plugin) (public_name rocq-runtime.plugins.number_string_notation) (synopsis "Rocq number and string notation plugin") (modules g_number_string number_string) (libraries rocq-runtime.vernac)) (deprecated_library_name (old_public_name coq-core.plugins.number_string_notation) (new_public_name rocq-runtime.plugins.number_string_notation)) (rule (targets g_number_string.ml) (deps (:mlg g_number_string.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps})))) ¤ Dauer der Verarbeitung: 0.10 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
2026-07-09