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 Wednesdays 5-6:30 pm in Communications (CMU) B-006. If you are interested in participating, please contact jarod at uw dot edu.

Resources for learning lean
Spring 2023
Winter 2023
Fall 2022
Spring 2022