Log in Sign up

Log in to Zulip

MS-EV0029 Formalized Mathematics in Lean

https://formalmath-2025.zulip.aalto.fi

The coolest place in the universe.

Sign up

Powered by Zulip

Help center Terms of Service Privacy policy