products/sources/formale sprachen/Isabelle/Pure/General/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Syntax.v   Sprache: Coq

Untersuchungsergebnis.out Download desDelphi {Delphi[53] CS[113] Abap[125]}zum Wurzelverzeichnis wechseln

1 subgoal
  
  y1 := 0 : nat
  x := 0 + 0 : nat
  ============================
  x = x
1 subgoal
  
  y1, y2 := 0 : nat
  x := y2 + 0 : nat
  ============================
  x = x
1 subgoal
  
  y1, y2, y3 := 0 : nat
  x := y2 + y3 : nat
  ============================
  x = x

[ zur Elbe Produktseite wechseln0.62Quellennavigators  ]