New posts in Character Theory

How much of the ATLAS of finite groups is independently checked and/or computer verified?