| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/plugins/derive/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 379 B |
|
Quelle duneSprache: HTML |
|||||||||||||||
|
(library (name derive_plugin) (public_name rocq-runtime.plugins.derive) (synopsis "Rocq's derive plugin") (libraries rocq-runtime.vernac)) (deprecated_library_name (old_public_name coq-core.plugins.derive) (new_public_name rocq-runtime.plugins.derive)) (rule (targets g_derive.ml) (deps (:mlg g_derive.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps}))))
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09