chapter AFP
session "Abstract-Hoare-Logics" = HOL +
options [timeout = 600]
directories
"While"
"Proc"
"Procs"
theories
"While/HoareTotal"
"Proc/PHoareTotal"
"Procs/PsHoareTotal"
document_files
"root.bib"
"root.tex"
[Original von:0.9Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.Datei übertragen2026-09-29]
