Ich denke daran, einen Lean @leanprover kleinen Tag/Konferenz/Workshop in Buenos Aires, Argentinien mit @class_lambda zu organisieren. Wer ist dabei?