-
2024.01 2024.03 2κ°λΏμ΄μ§λ§..Created
Fri, 12 Sep 2025 15:25:23 +0900 -
(ν) Why Lean 4 replaced OCaml as my Primary LanguageCreated
Fri, 29 Aug 2025 12:00:00 +0900 -
2025-08-27 Introduction to Razborov’s Flag AlgebraCreated
Wed, 27 Aug 2025 15:30:00 +0900 -
μ΅κ·Όμ κ°±μ μν΄μ λ€μ μμ΄μ‘μ§λ§..Created
Sat, 22 Mar 2025 17:19:19 +0900 -
Obsidian μ μΌμ§λ λ¬Έμ - Mega.nz λκΈ°ν μ€λ₯ ν΄κ²°κΈ°Created
Thu, 01 Aug 2024 17:20:13 +0900 -
Outdated Grafolio link in Naver mail pageCreated
Mon, 01 Jul 2024 17:28:43 +0900 -
λ§€λ² μ¬λμμ λ¨λ μΊλ¦°λ μλ μμ κΈ°Created
Sat, 15 Jun 2024 17:16:55 +0900
