chapter AFP
session Polylog (AFP) = "HOL-Complex_Analysis" +
options [timeout = 1200]
sessions
"HOL-Real_Asymp"
"Linear_Recurrences"
theories
Polylog
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.11 Sekunden, vorverarbeitet 2026-07-01]
