👀 Tôi tự hỏi liệu điều này có nghĩa là khoảng 5 tài liệu về khoảng cách gần sẽ có các chứng minh Lean vào cuối năm nay không.