The Lean Prover Community has published the live stream schedule for Lean Together 2026, its annual conference focused on the Lean theorem prover. The schedule outlines presentations and workshops, though specific talk titles or speakers aren't detailed in the initial announcement. This event serves as a key gathering for the formal verification and proof assistant community.

Lean Together is a critical venue for developers and researchers using Lean 4 for mathematical proof verification and software correctness. The conference facilitates collaboration on the open-source Lean ecosystem, which powers projects like the Mathlib library. Live streaming extends access to a global audience beyond in-person attendees.

Attendees and viewers can follow the event's progress through the provided schedule link. The community's activity around Lean Together often accelerates development on the theorem prover's core and its surrounding tooling. Future sessions may reveal new features or research directions for the formal methods landscape.