Automated Theorem Proving WiSe 2025/26 (live recordings)