eXperimental Lean Lab (XLL)

UW's eXperimental Lean Lab (XLL) is a subsidiary of the Washington Experimental Mathematics Lab (WXML). The XLL provides a space for mathematicians at any level (faculty, postdocs, PhD students, undergraduates, high school students, ...) to learn about formalizing mathematics with Lean and to collaborate with others on projects.

We are currently meeting on Mondays 11:30-1 in CLK 120. If you are interested in participating, please contact jarod at uw dot edu.

Resources for learning lean
Fall 2023

Spring 2023
Winter 2023
Fall 2022
Spring 2022