Eine aufbereitete Darstellung der Quelle

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

Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/XRDP/instfiles/   (X11 Server Version 0.10.6.1©)  Datei vom 7.6.2026 mit Größe 14 kB image not shown  

Quelle  Case10.v

  Sprache: Coq 		 

Fail Type (fun x : nat => match x return nat with
                     | S x as b => S b
                     end).

Messung V0.5 in Prozent
C=92 H=99 G=95

¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet am  2026-06-04) ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

zur Agenda Produktseite wechseln

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.





                                                                                                                                                                                                                                                                                                                                                                                                     

Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators

Jenseits des Üblichen ....
    

Besucher

Besucher
Statistik
#Sources=141584
#Domains=752002