chapter AFP
session VerifyThis2018 = Sepref_IICF +
options [timeout = 600]
directories
"lib"
theories [document = false]
"lib/VTcomp"
"lib/DF_System"
Snippets
theories
Challenge1
Challenge1_short
Challenge2
Challenge3
document_files
"root.tex"
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet am 2026-06-13)
¤
*© Formatika GbR, Deutschland