chapter AFP
session "Stable_Matching" = "HOL-Library" +
options [timeout = 600, show_question_marks = false]
theories
Sotomayor
Basis
Choice_Functions
Contracts
COP
Bossiness
Strategic
document_files
"root.tex"
"root.bib"
[Dauer der Verarbeitung: 0.14 Sekunden, vorverarbeitet 2026-09-29]
