Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Galois_Energy_Games/   (Sammlung formaler Beweise Version 2026-5©)  Datei vom 29.4.2026 mit Größe 400 B image not shown  

Quelle  ROOT   Sprache: unbekannt

 
Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

chapter AFP

session Galois_Energy_Games = Parity_Game +
  options [timeout = 600]

  sessions
    "HOL-Library"
    "Well_Quasi_Orders"
    "Complete_Non_Orders"

  theories
    Energy_Game
    Energy_Order 
    Galois_Energy_Game
    Decidability 
    Update
    Natural_Galois_Energy_Game
    List_Lemmas

document_files
    "introduction.tex"
    "root.bib"
    "root.tex"

[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-06-10]