Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Fast Lexical Analyzer Version 2.6©)  Datei vom 15.8.2025 mit Größe 361 B image not shown  

Quelle  lexical_convention_in_doc.out   Sprache: unbekannt

 
Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

not (not True)
     : Prop
not True
     : Prop
not (not True)
     : Prop
not (not True)
     : Prop
not False
     : Prop
(fun x : Prop => not (not x)) o
     : Prop
File "./output/lexical_convention_in_doc.v", line 50, characters 12-15:
The command has indeed failed with message:
The reference _ho was not found in the current environment.
True
     : Prop

[ Dauer der Verarbeitung: 0.33 Sekunden  ]