agusakov/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.
Lean
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.
Lean