Tôi đang nghĩ đến việc tổ chức một ngày/hội thảo/khóa học nhỏ Lean @leanprover ở Buenos Aires, Argentina với @class_lambda Ai tham gia không?