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.66Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
