Bạn đã giải được một bài toán hoặc hình thức hóa một chứng minh bằng Lean?

Tìm hiểu xem điều gì đủ điều kiện nhận #JustinSunPrize 👇

https://x.com/JustinSunPrize/status/2112447915478397301