chapter AFP
session "Flyspeck-Tame" = HOL +
options [timeout = 1200]
sessions
"HOL-Library"
Trie
theories
Relative_Completeness
document_files
"root.bib"
"root.tex"
session "Flyspeck-Tame-Computation" (slow very_slow) in "Computation" = "Flyspeck-Tame" +
options [timeout = 50400]
theories
Completeness
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
