products/sources/formale Sprachen/Coq/test-suite/output/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

Columbo aufrufen.out zum Wurzelverzeichnis wechselnLatech {Latech[154] BAT[199] Ada[324]}Datei anzeigen

Notation
"n .+1" := S n : nat_scope (default interpretation)
forall x : nat, x.+1 = x.+1
     : Prop

[ Original von:0.59Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]