This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
In this article vertex, edge and total colorings of graphs are formalized in the Mizar system [4] and [1], based on the formalization of graphs in [5].