Seminars and Talks 15:00 - 16:00, July 8, 2025 (Tuesday) Room 505, Cosmology Building, National Taiwan University + Cisco WebEx, Physical+Online Seminar Lean Where the Programming and Proof Meet