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

Quelle  qed_time.out   Sprache: unbekannt

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

Chars 40 - 57 [Lemma~foo~:~True.] 0. secs (0.u,0.s)
Chars 58 - 64 [Proof.] 0. secs (0.u,0.s)
Chars 67 - 81 [Axiom~(X~:~nat).] 0. secs (0.u,0.s)
Chars 84 - 92 [exact~I.] 0. secs (0.u,0.s)
Chars 93 - 97 [Qed.] 0. secs (0.u,0.s)

[ Dauer der Verarbeitung: 0.31 Sekunden  ]