Skip to content

Added Korean translation - #165

Open
wonseong-s1 wants to merge 3 commits into
leanprover-community:mainfrom
wonseong-s1:korean-translation
Open

wonseong-s1 wants to merge 3 commits into
leanprover-community:mainfrom
wonseong-s1:korean-translation

Commits

Commits on Aug 23, 2026

Commits on Aug 25, 2026