Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/LibreOffice/sc/source/ui/miscdlgs/   (LibreOffice Version 25.8.3.2©)  Datei vom 5.10.2025 mit Größe 1 kB image not shown  

Quelle  bug_4893.v  Sprache: unbekannt

  
Goal True.
evar (P: Prop).
assert (H : P); [|subst P]; [exact I|].
let T := type of H in not_evar T.
Abort.

Messung V0.5 in Prozent
C=100 H=100 G=100

[zur Elbe Produktseite wechseln0.17QuellennavigatorsAnalyse erneut starten2026-09-29]