chapter AFP
session VerifyThis2019 = Sepref_IICF +
options [timeout = 600]
directories
"lib"
theories [document = false]
"lib/VTcomp"
theories
Challenge1A
Challenge1B
Challenge2A
Challenge2B
Parallel_Multiset_Fold
Challenge3
document_files
"root.tex"
| Messung V0.5 in Prozent |
|---|
| | | |
[Dauer der Verarbeitung: 0.10 Sekunden, vorverarbeitet 2026-09-09]
