LFTCM 2020 Lean for the Curious Mathematician 2020

(No) Registration

Registration is not required, you can simply show up at any of the activities of the workshop. Please visit our dedicated Zulip stream at the start of the workshop. It will function as virtual “common room”.

Even though registration is not required, as a first exercise in using GitHub (a central tool in the Lean Prover community), we invite you to make a Pull Request modifying this webpage’s source to add your name to the list below (in alphabetical order).