| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Sprache: Unknown
|
Columbo aufrufen.out zum Wurzelverzeichnis wechselnSML {SML[112] Delphi[115] C[141]}Datei anzeigen 1 subgoal ============================ 1 = 1 1 subgoal ============================ 1 = 1 1 subgoal ============================ 1 = 1 [ Original von:0.54Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt. ] |