Sign up for Zulip
MS-EV0029 Formalized Mathematics in Lean
https://formalmath-2025.zulip.aalto.fi
The coolest place in the universe.
You need an invitation to join this organization.
Already have an account? Log in