GitHub repository: toamme/archive-of-graph-formalizations
Primary language: Isabelle
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.