The Northwestern Undergraduate Lean Lab is an undergraduate community at Northwestern for learning, using, and contributing to Lean and Mathlib. In Fall quarter we will run a beginner-friendly workshop on learning Lean. In Winter and Spring, we will work on projects with the goal of contributing to Mathlib.

email us: NULeanLab@gmail.com