Fall Mini 2024 - FinalFall Mini 2024 - Proofs