Prove-It
Prove-It copied to clipboard
Theory of Graphs development
trafficstars
Issue & related branch for establishing, developing, and discussing a theory package for graph theory. The initial motivation for development of the graph theory package is its relevance to parallel work on quantum error correction (QEC) and the utility of interpreting various characteristics of a surface code in terms of graphs and graph-theoretical concepts.