| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/coqpp/ (Rocq Prover Version 9.1.0©) Datei vom 15.8.2025 mit Größe 287 B |
|
Quelle duneSprache: Text |
|||||||||||||||
|
(ocamllex coqpp_lex) (ocamlyacc coqpp_parse) (library (name coqpp) (wrapped false) (modules :standard \ coqpp) (modules_without_implementation coqpp_ast)) (executable (public_name coqpp) (empty_module_interface_if_absent) (package coq-core) (libraries coqpp) (modules coqpp))
¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-06-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09