products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: locate.out   Sprache: Unknown

Spracherkennung für: .out vermutete Sprache: Text {Text[255] Latech[367] Haskell[388]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Notation
"b1 && b2" := if b1 then b2 else false (default interpretation)
"x && y" := andb x y : bool_scope

[ Dauer der Verarbeitung: 0.38 Sekunden  ]