Lean 12 Sep, 2025 [category] 1 min read Lean 게임 서버 Why Lean 4 replaced OCaml as my Primary Language Lean Machine-Checked Mathematics and Verified Programming, Past and Future (Leonardo de Moura) Seed-Prover, IMO 금메달 수준 2025-08 #Info << Previous Post | Next Post >> ← 뒤로