Interactive Theorem Proving SoSe 2025 (live recordings)