Berhasil menyelesaikan masalah atau memformalkan pembuktian di Lean?

Lihat apa saja yang memenuhi syarat untuk #JustinSunPrize 👇

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