|
Project Information
|
We propose a formalization of graph theory in HOL Light. We give some basic definitions and prove some theorems:
We also present a vertex coloring algorithm and some examples of usage of the functions and algorithms defined in the formalization. |