Comment by emil-lp

No, almost none (except for in certain fields, such as HoTT) have formalized proofs.