Lean là trình xác minh chương trình duy nhất bạn cần. Dưới đây là lý do. 🧵