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