| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/EnigmaPP/ (Vienna Development Method ©) Datei vom 13.4.2020 mit Größe 819 B |
|
SSL bug_8755.v Sprache: Coq |
|||||||||||||||
|
Lemma f : Type. Fail let i := ident:(i) in let t := context i [Type] in idtac. Abort.
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.12Bemerkung: (vorverarbeitet am 2026-09-29) ¤*Bot Zugriff |
|
||||||||||||||
2026-10-10