Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: top.pvs Sprache: PVS

Original von: Coq^©

(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)

(executable
(name coqpp_main)
(public_name coqpp)
(package coq)
(modules coqpp_ast coqpp_lex coqpp_parse coqpp_main)
(modules_without_implementation coqpp_ast))

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

Kontakt Drucken
Kontakt sprechenden Kalenders
Eigene Datei ansehen

schauen Sie vor die Tür

Fenster

Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.