GitHub repository: wimmers/archive-of-graph-formalizations
Primary language: Isabelle
Created: 2020-04-03T15:05:22Z
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.