Skip to content

Commit

Permalink
Correct mistranslation of names
Browse files Browse the repository at this point in the history
  • Loading branch information
chabulhwi committed Dec 13, 2024
1 parent 49c4c30 commit 8e3fbd3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .i18n/ko/glossary/glossary.txt
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ argument 인수
Lean 린
Lean community 린 커뮤니티
God 신
Alvin Plantinga 앨빈 플랜팅아
Alvin Plantinga 앨빈 플랜팅가
exist 존재하다
existence 존재
the understanding 지성
Expand Down Expand Up @@ -39,7 +39,7 @@ theory 이론
conclude 결론하다
prove 증명하다
SEP 스탠퍼드 철학 백과사전
Eric Wieser 에릭 비저
Eric Wieser 에릭 위저
Alistair Tucker 앨리스터 터커
philosophy 철학
Owl of Sogang 서강올빼미
Expand Down

0 comments on commit 8e3fbd3

Please sign in to comment.