| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/tools/coqworkmgr/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 460 B |
|
Quelle duneSprache: C |
|||||||||||||||
|
(library (name coqworkmgrApi) (public_name rocq-runtime.coqworkmgrapi) (modules coqworkmgrApi) (wrapped false) (libraries str unix)) (deprecated_library_name (old_public_name coq-core.coqworkmgrapi) (new_public_name rocq-runtime.coqworkmgrapi)) (library (name rocqworkmgr) (modules rocqworkmgr) (libraries coqworkmgrApi)) (executable (name coqworkmgr) (public_name coqworkmgr) (package coq-core) (modules coqworkmgr) (libraries rocqworkmgr))
¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-27