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.
Don't have an account yet? You need to be invited to join this organization.