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

Untersuchungsergebnis.out Download desScala {Scala[59] Python[132] Latech[135]}zum Wurzelverzeichnis wechseln

1 subgoal
  
  hP1 : True
  a : nat   b : list nat   h : forall x : nat, {y : nat | y > x}
  h2 : True
  ============================
  False

[ zur Elbe Produktseite wechseln0.72Quellennavigators  ]