| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Record.v Sprache: Unknown
|
Spracherkennung für: .out vermutete Sprache: Coq {Coq[52] Cobol[57] C[95]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] "foo" True foo 3 foo 2 < True False Prop > < True False Prop > < > < > << 1 2 3 >> [ Verzeichnis aufwärts0.46unsichere Verbindung ] |