| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: Nsqrt_def.v Sprache: Unknown
|
Untersuchungsergebnis.out Download desDelphi {Delphi[14] Cobol[100] Abap[132]}zum Wurzelverzeichnis wechseln 1 subgoal y, z : nat Hy : y = 0 Hz : z = 0 H1 : 0 = 1 HA : True H2 : 0 = 2 H3 : y = 3 HB : True H4 : z = 4 ============================ True 1 subgoal x, z : nat Hx : x = 0 Hz : z = 0 H1 : x = 1 HA : True H2 : x = 2 H3 : 0 = 3 HB : True H4 : z = 4 ============================ True 1 subgoal x, y : nat Hx : x = 0 Hy : y = 0 H1 : x = 1 HA : True H2 : x = 2 H3 : y = 3 HB : True H4 : 0 = 4 ============================ True 1 subgoal H1 : 0 = 1 HA : True H2 : 0 = 2 H3 : 0 = 3 HB : True H4 : 0 = 4 ============================ True 1 subgoal y, z : nat Hy : y = 0 Hz : z = 0 HA : True H3 : y = 3 HB : True H4 : z = 4 H1 : 0 = 1 H2 : 0 = 2 ============================ True 1 subgoal x, z : nat Hx : x = 0 Hz : z = 0 H1 : x = 1 HA : True H2 : x = 2 HB : True H4 : z = 4 H3 : 0 = 3 ============================ True 1 subgoal x, y : nat Hx : x = 0 Hy : y = 0 H1 : x = 1 HA : True H2 : x = 2 H3 : y = 3 HB : True H4 : 0 = 4 ============================ True 1 subgoal HA, HB : True H4 : 0 = 4 H3 : 0 = 3 H1 : 0 = 1 H2 : 0 = 2 ============================ True [ zur Elbe Produktseite wechseln0.73Quellennavigators ] |