/graph_theory_2020

Formalizing lecture notes and homework assignments from MATH 688/MATH 888 at the University of Delaware. The plan is to eventually add some of the formalized results to mathlib, the mathematics library for Lean.

Primary LanguageLean

No issues in this repository yet.