ROOT

session Tropical_Semirings in "." = "HOL-Library" +
  description \<open>
    Tropical algebra: max-plus and min-plus semirings over nat, with matrix
    algebra, walk semantics, Kleene star, Floyd-Warshall, a Certified
    Null Operation (CNO) framework for the absolute-zero resource model,
    and tropical determinants (minimum-cost perfect matching).
  \<close>
  sessions
    "HOL-Combinatorics"
  theories
    Tropical_v2
    Tropical_Matrices_Full
    Tropical_Kleene
    Tropical_CNO
    Tropical_Determinants
  document_files
    "root.tex"
    "root.bib"