Comment by gabrimat

Looks like those are new formalizations of existing proofs, not new ones