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: bug_9370.v   Sprache: Coq

Require Import Reals.
Open Scope R_scope.
Goal 1/1=1.
Proof.
  field_simplify (1/1).
Show.
  field_simplify.
Show.
  field_simplify.
Show.
  reflexivity.
Qed.

[ zur Elbe Produktseite wechseln0.0Quellennavigators  Analyse erneut starten  ]