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: Sec_Typing.thy   Sprache: Unknown

Untersuchungsergebnis.out Download desC {C[74] Abap[194] [0]}zum Wurzelverzeichnis wechseln

1 subgoal
  
  x : nat
  ============================
  x = S x
1 subgoal
  
  x : nat
  ============================
  0 + x = S x
1 subgoal
  
  x : nat
  ============================
  x = 1 + x

[ zur Elbe Produktseite wechseln0.54Quellennavigators  ]