 A solid overview on past and ongoing formalization projects can be obtained by consulting respective sources such as Isabelle’s Archive of Formal Proofs, the Journal of Formalized Reasoning, or the THF entries in Sutcliffe’s TPTP problem library. 