products
/
sources
/
formale Sprachen
/
Coq
/
test-suite
/
output
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: SourceView.~bpl Sprache: Unknown
rahmenlose Ansicht.out DruckansichtSML {SML[92] Delphi[99] Coq[103]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(0 = 1)
(eq 0)
eq
@eq
nat
0
1
S
0
2
[ Verzeichnis aufwärts0.69unsichere Verbindung
]