Schedule and conference website

Stream: Lean Together 2025

[Kevin Buzzard]

The conference website is here https://leanprover-community.github.io/lt2025/ containing the schedule (which should be displayed in your local time zone). The schedule is also available on Research Seminars here https://researchseminars.org/seminar/LeanTogether2025