/archive-of-graph-formalizations

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.

Primary LanguageIsabelle

Stargazers