Lean Together is a meeting for users (both current and future) and developers of the Lean proof assistant and its libraries, focusing on the formalization of mathematics. The 2019 meeting will also serve to kick off the Lean Forward project.
Many people have expressed interest in uniting the interactive theorem proving and mathematics communities. Indeed, one goal of Lean Forward is to gather mathematicians, formalizers, and tool developers together. We welcome participants from all fields at the Lean Together workshop, including those with little experience using proof assistants. With a mixed program of scientific talks, tutorials, and collaboration time, we hope to cross disciplinary boundaries and learn what each community needs from the other.