GitHub repository: mabdula/Isabelle-Graph-Library
Primary language: Isabelle
Created: 2024-09-29T19:15:24Z
Description: A formal mathematical library of graph-theoretic results. Focus is on algorithmic results.