| 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 191 B |
|
Quelle bug_12528.vSprache: Coq |
|||||||||||||||
|
Set Primitive Projections. Set Universe Polymorphism. Record ptd := Ptd { t : Type ; p : t }. Definition type := Ptd Type (unit:Type). Definition type' := Ptd Type (p type). Canonical type'.
¤ Dauer der Verarbeitung: 0.18 Sekunden (vorverarbeitet am 2026-04-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26