Participating Computer-Assisted Proofs Seminar: Summer 2025