Lean Together 2021 A meeting for Lean users and other formalizers

Participants