Computer Assisted proofs apart from the 4 color theorem I recently read about the 4 color theorem and that it was proved using help from computers. Does anybody know of some other 'good' computer-assisted proofs apart from the 4 color theorem?

The arguably second most famous computer proof in Mathematics is the one by Clement Lam showing that there is no projective plane of order 10. The computer part was a huge case-by-case analysis disproving the existence of a certain self-orthogonal code.