Formal Methods in Mathematics /
Lean Together 2020

The following people will speak in Formal Methods in Mathematics:

The following people will speak in Lean Together:

The following people are also planning to participate: