| products/sources/formale sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: goal_output.v Sprache: Unknown
|
Untersuchungsergebnis.out Download desShell {Shell[61] Isabelle[62] Delphi[102]}zum Wurzelverzeichnis wechseln 1 subgoal m, n : Z H : (m >= n)%Z ============================ (m >= m)%Z [ zur Elbe Produktseite wechseln0.59Quellennavigators ] |