GitHub repository: mabdula/archive-of-graph-formalizations
Description: This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.