Formalization of the theory of String Graphs in the Isabelle proof assistant, as part of the QuantoTactic project.