The 6 additions are Lean verifications for already published pre-prints, not new results.