| 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 wechselnCobol {Cobol[33] C[88] Abap[161]}Datei anzeigen Nat.t = nat : Set Nat.t = nat : Set 1 subgoal ============================ False [ Original von:0.61Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt. ] |