Sign up for Zulip

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 collaborate with others on projects.

We are currently meeting on Wednesday 5-6 pm in PDL-401. If you are interested in participating, please contact jarod at uw dot edu.

See https://sites.math.washington.edu/~jarod/xll.html