Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 
Benutzer

Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/COBOL/Test-Suite/SQL M/   (NIST Cobol Test-Suite ©)  Datei vom 4.1.2008 mit Größe 4 kB image not shown  

Quelle  bug_20131.v  Sprache: unbekannt

  
Inductive sFalse : SProp := .

Lemma foo: unit.
Proof.
  simple refine (let f : sFalse -> sFalse := _ in tt).
  exact (fun x => x).
Defined.

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

[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-09-29]

                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen
Jenseits des Üblichen ....

Besucherstatistik

Besucherstatistik
Statistik
#Sources=1126864
#Domains=2039723