Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
products
/
sources
/
formale sprachen
/
Isabelle
/
HOL
/
TPTP
/
TPTP_Parser
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: de_Intro.lyx Sprache: Unknown
Spracherkennung für: .nix vermutete Sprache: Delphi {Delphi[78] Cobol[84] C[98]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
{ mathcomp }:
{
coqBuildInputs = [ mathcomp ];
configure =
"./configure.sh"
;
}
[ Dauer der Verarbeitung: 0.438 Sekunden
]
