ralidardjonova / archive-of-graph-formalizations Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cmadlener/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.