Formal Methods in Mathematics /
Lean Together 2020