/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

Stargazers