Columbo aufrufen.out zum Wurzelverzeichnis wechselnShell {Shell[61] Isabelle[62] Delphi[102]}Datei anzeigen
1 subgoal
m, n : Z
H : (m >= n)%Z
============================
(m >= m)%Z
[ Original von:0.66Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
