Robuta

https://isa-afp.org/entries/Undirected_Graph_Theory.html Undirected Graph Theory - Archive of Formal Proofs Undirected Graph Theory in the Archive of Formal Proofs undirected graph theory archive formal proofs https://isa-afp.org/entries/Undirected_Graph_Theory.html Undirected Graph Theory - Archive of Formal Proofs Undirected Graph Theory in the Archive of Formal Proofs undirected graph theory archive formal proofs