Subject: Lean Course 2024

Description: Mailing list for members of the 2024 iteration of the graduate course on the Lean programming language, joint between Edinburgh, Glasgow and Heriot-Watt.