The Four Color Theorem included calculations done on a computer, and later those have been more formalized. However the computations were highly problem depende

The Four Color Theorem included calculations done on a computer, and later those have been more formalized. However the computations were highly problem dependent, trivial though plenty, and certainly not generalizable for proving anything else.