| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/plugins/btauto/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 385 B |
|
Quelle duneSprache: C |
|||||||||
|
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] (library
(name btauto_plugin) (public_name rocq-runtime.plugins.btauto) (synopsis "Rocq's btauto plugin") (libraries rocq-runtime.plugins.ltac)) (deprecated_library_name (old_public_name coq-core.plugins.btauto) (new_public_name rocq-runtime.plugins.btauto)) (rule (targets g_btauto.ml) (deps (:mlg g_btauto.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps})))) ¤ Dauer der Verarbeitung: 0.7 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
2026-06-09