Learning Mathematics with Lean
2nd Event