Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/output/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 316 B image not shown  

Quelle  notation_previous_prefix.out   Sprache: unbekannt

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

Notation "#0 #1 _" at level 30 with arguments constr at next level,
no associativity.
Notation "#0 #1 _" in foo at level 40 with arguments custom foo
at next level, no associativity.
Notation "#2 _ #3 _ #4 _" at level 30 with arguments constr at level 20,
constr at level 25, constr at next level, no associativity.

[ Dauer der Verarbeitung: 0.27 Sekunden  ]