| products/sources/formale Sprachen/Coq/test-suite/output/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: UnivBinders.v Sprache: Unknown
|
rahmenlose Ansicht.out DruckansichtShell {Shell[61] Isabelle[62] Delphi[102]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] 1 subgoal m, n : Z H : (m >= n)%Z ============================ (m >= m)%Z [ Verzeichnis aufwärts0.46unsichere Verbindung ] |