| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/test-suite/bugs/ (Beweissystem des Inria Version 9.1.0©) Datei vom 15.8.2025 mit Größe 214 B |
|
Impressum bug_3300.v
Interaktion und |
|||||||||||||||
|
Set Primitive Projections. Record Box (T : Type) : Prop := wrap {prop : T}. Definition down (x : Type) : Prop := Box x. Definition up (x : Prop) : Type := x. Fail Definition back A : up (down A) -> A := @prop A.
¤ 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.11Bemerkung: Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤*Eine klare Vorstellung vom Zielzustand |
| ||||||||||||||
