Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/rust/kernel/fs/   (Linux Kernel Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 18 kB image not shown  

Quelle  bug_6042.v   Sprache: unbekannt

 
Class C (n: nat) := T{x:True}.
Generalizable All Variables.

Fail #[export] Instance i : C n.

#[export] Instance i : `(C n).
Proof. repeat constructor. Defined.

Messung V0.5 in Prozent
C=97 H=99 G=97

[zur Elbe Produktseite wechseln0.11QuellennavigatorsAnalyse erneut starten2026-06-04]