Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/Documentation/driver-api/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 2 kB image not shown  

Quelle  bug_17415.v   Sprache: unbekannt

 
Inductive free := Par (A1:Type).

Lemma foo
  (A0 : Type@{free.u0})
  A1
  (H1 : Par A0 = Par A1)
  : A0 = A1.
Proof.
  congruence.
Qed.

Messung V0.5
C=97 H=100 G=98

[ zur Elbe Produktseite wechseln0.17Quellennavigators  Analyse erneut starten  ]