/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

This repository is not active