Proof of correctness of breadth-first-search with Isabelle/HOL
Primary LanguageIsabelleMIT LicenseMIT