products
/
sources
/
formale Sprachen
/
Coq
/
doc
/
changelog
/
02-specification-language
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: 00000-title.rst Sprache: Unknown
Spracherkennung für: .rst vermutete Sprache: HTML {HTML[93] Ada[165] Abap[316]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
**Specification language, type inference**
[ Dauer der Verarbeitung: 0.42 Sekunden
]