LFTCM 2020 Lean for the Curious Mathematician 2020

Contact

If you are having any problems, any questions or suggestions, feel free to contact us on Zulip and ping one of the organisers.