en	<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo</1> as a template and read <3>How to Create a Game</3>.</0><1>You can directly load your games into the server and play it using the correct URL.
ko	<0>여러분이 직접 게임을 작성할 생각이 있다면, <1>GameSkeleton 깃허브 저장소</1>를 양식[템플릿]으로 이용하고 <3>'게임 만들기(Creating a Game)'</3> 문서를 읽으십시오.</0><1>여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다.

en	<p>As this server runs lean on our university machines, it has a limited capacity.
ko	<p>이 서버는 저희 대학의 여러 컴퓨터에서 린을 실행하므로 그 이용량이 제한돼 있습니다.

en	<p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory.
ko	<p>저장된 진도를 불가역적으로 삭제하시겠습니까?</p><p>(이를 선택하시면 증명과 인벤토리 안의 수집 항목들이 삭제됩니다.

en	<p>Game rules determine if it is allowed to skip levels and if the games runs checks to only allow unlocked tactics and theorems in proofs.</p><1>Note: "Unlocked" tactics (or theorems) are determined by two things: The set of minimal tactics needed to solve a level, plus any tactics you unlocked in another level.
ko	<p>게임 규칙에 따라, 단계들을 건너뛰어도 되는지 그리고 증명을 작성할 때 잠금 해제가 된 전략과 정리만 이용할 수 있는지가 정해집니다.</p><1>  참고: '잠금 해제'가 된 전략이나 정리는 다음 두 부류로 정해집니다. (1) 해당 단계를 푸는 데 필요한 최소한의 전략이나 정리의 모임, (2) 다른 단계에서 잠금 해제를 한 전략이나 정리.

en	<p>Select a JSON file with the saved game progress to load your progress.</p><1><0>Warning:</0> This will delete your current game progress!
ko	<p>저장된 게임 진도가 있는 JSON 파일을 선택해 진도를 불러오십시오.</p><1><0>경고:</0> 이를 실행하면 현재의 게임 진도가 삭제됩니다!

en	A repository of learning games for the proof assistant <1>Lean</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5>
ko	<1>린(Lean 4)</1> 증명 보조기와 그 수학 라이브러리 <5>매스리브(mathlib)</5>를 학습하기 위한 게임들의 저장소

en	Active Goal
ko	활성화된 목표

en	Adding new games
ko	새 게임 추가하기

en	Always visible
ko	항상 보임

en	Assumptions
ko	가정

en	Auto
ko	자동

en	CPU
ko	CPU

en	Cancel
ko	취소하기

en	Character
ko	문자

en	Clear Progress
ko	진도 없애기

en	Click somewhere in the Lean file to enable the infoview.
ko	린 파일의 아무 곳이나 눌러 정보창을 여십시오.

en	Consider <2>downloading your current progress</2> first!</1>
ko	<2>현재의 게임 진도</2>를 먼저 내려받을지 판단하십시오!</1>

en	Contributing
ko	기여하기

en	Contributions to the Korean translation of <g1>lean4game</g1> are always welcome!
ko	<g1>lean4game</g1>의 한국어 번역에 기여하는 활동은 언제든지 환영합니다!

en	Crashed!
ko	시스템 다운됨!

en	Current Goal
ko	현재 목표

en	Definitions
ko	정의

en	Delete
ko	삭제하기

en	Delete Progress?
ko	진도를 삭제하시겠습니까?

en	Desktop
ko	데스크톱

en	Development notes
ko	개발 노트

en	Download
ko	내려받기

en	Download & Delete
ko	내려받고 삭제하기

en	Download Progress
ko	진도 내려받기

en	Editor mode
ko	편집기 모드

en	Editor mode is enforced!
ko	편집기 모드가 강제됐습니다!

en	English | <g1>한국어[Korean]</g1>
ko	[English (영어)](./README.md) | 한국어

en	Erase
ko	지우기

en	Execute
ko	실행하기

en	Failed command
ko	실패한 명령

en	Feel free to file a <1>GitHub Issue</1> about any problems you experience!</1>
ko	문제를 겪으면 거리낌 없이 <1>깃허브 이슈</1>를 제출해 주세요!</1>

en	Funding
ko	재정 지원

en	Further Goals
ko	이후 목표

en	Game Info
ko	게임 정보

en	Game Info & Credits
ko	게임 정보 및 제작자 명단

en	Game Introduction
ko	게임 소개

en	Game Rules
ko	게임 규칙

en	Go to editor mode and fix your proof!
ko	편집기 모드에서 증명을 고치십시오!

en	Goal
ko	목표

en	Home
ko	홈

en	I (<g1>Bulhwi Cha</g1><g2></g2><e8/>) use <g3>OmegaT</g3><g4></g4><e9/> to translate English documentation into Korean.
ko	저(<g1>차불휘</g1><g2></g2><e8/>)는 <g3>오메가T(OmegaT)</g3><g4></g4><e9/>를 이용해 영어 문서를 한국어로 번역합니다.

en	I (<g1>Bulhwi Cha</g1><g2></g2><e9/>) use <g3>OmegaT</g3><g4></g4><e10/> to translate English documentation into Korean.
ko	저(<g1>차불휘</g1><g2></g2><e9/>)는 <g3>오메가T(OmegaT)</g3><g4></g4><e10/>를 이용해 영어 문서를 한국어로 번역합니다.

en	Impressum
ko	관리자 정보

en	Intro
ko	소개

en	Introduction
ko	소개

en	Inventory
ko	인벤토리

en	Korean Translation
ko	한국어 번역

en	Language
ko	언어

en	Last server response:
ko	마지막 서버 응답:

en	Layout
ko	레이아웃

en	Lean 4 Game
ko	린 4 게임

en	Lean Game Server
ko	린 게임 서버

en	Leave World
ko	세계에서 나가기

en	Level
ko	단계

en	Level completed with warnings 🎭
ko	경고 있는 채로 단계 완료 🎭

en	Level completed!
ko	단계 완료!

en	Levels
ko	단계

en	Line
ko	줄

en	Load Progress from JSON
ko	JSON에서 진도 불러오기

en	Load selected file
ko	선택한 파일 열기

en	Loading goal…
ko	목표 불러오는 중…

en	Loading messages…
ko	메시지 불러오는 중…

en	Mobile
ko	모바일

en	Next
ko	다음

en	No Games loaded.
ko	불러온 게임 없음.

en	No Goals
ko	목표 없음

en	Not available in this level
ko	이 단계에서 쓸 수 없음

en	Not unlocked yet
ko	아직 잠금 해제가 안 됨

en	Objects
ko	객체

en	Our current estimate is about 70 simultaneous games.
ko	현재 이 서버로 최대 70게임을 동시에 실행할 수 있는 것으로 추정됩니다.

en	Please get in contact and we'll happily add yours.</p>
ko	저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다.

en	Preferences
ko	기본 설정

en	Prerequisites
ko	선행 요건

en	Previous
ko	이전

en	RAM
ko	램

en	Retry
ko	다시 시도하기

en	Retry proof from here
ko	여기부터 증명 다시 시도하기

en	Rules
ko	규칙

en	Save my settings (in the browser store)
ko	(브라우저에) 설정 저장하기

en	Saves from other games are not deleted.)</p>
ko	다른 게임에 저장된 정보는 삭제되지 않습니다.)</p>

en	Server capacity
ko	서버 이용량

en	Show more help!
ko	도움말 더 보기!

en	Start
ko	시작하기

en	Tactics
ko	전략

en	That means if you unlock <1>simp</1> in a level, you can use it henceforth in any level.</1><p>The options are:</p>
ko	따라서 여러분이 <1>simp</1> 전략을 잠금 해제 하면, 그 뒤로 어느 단계에서든 이 전략을 이용할 수 있습니다.</1><p>선택할 수 있는 게임 규칙은 다음과 같습니다.</p>

en	The <1>instructions above</1> also explain the details for how to load your game to the server.
ko	여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <1>설명서</1>에 나와 있습니다.

en	The OmegaT project is in the <g5><g6>omegat</g6></g5> directory.
ko	오메가T 프로젝트는 <g5><g6>omegat</g6></g5> 디렉터리에 있습니다.

en	The OmegaT project is in this directory, that is, <g5>client/public/locales/ko</g5>.
ko	오메가T 프로젝트는 이 디렉터리, 다시 말해 <g5>client/public/locales/ko</g5>에 있습니다.

en	Theorems
ko	정리

en	This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics</1> at Heinrich-Heine-Universität in Düsseldorf.
ko	이 서버는 뒤셀도르프의 하인리히-하이네 대학에서 진행하는 <1>'아담(ADAM): 수학의 디지털 시대 준비하기'</1> 프로젝트의 일환으로 개발됐습니다.

en	Typewriter mode
ko	타자기 모드

en	Upload
ko	업로드

en	Upload Saved Progress
ko	저장된 진도 업로드

en	Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder.
ko	<1>http://localhost:3000/#/g/local/FOLDER</1>를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오.

en	Waiting for Lean server to start…
ko	린 서버가 시작하기를 기다리는 중…

en	We hope to address and test this limitation better in the future.</p><1>Most aspects of the games and the infrastructure are still in development.
ko	미래에 저희가 서버 이용량 한계에 더 잘 대처하고 그 값을 보다 정확히 측정할 수 있기를 바랍니다.</p><1>게임과 그 기반 시설의 상당 부분은 여전히 개발 중입니다.

en	We'd like to encourage you to contact us if you have any questions.</1><p>Featured games on this page are added manually.
ko	궁금한 점이 있으면 저희에게 연락해 주십시오.</1><p>이 페이지에 실린 게임들은 수동으로 추가됐습니다.

en	World
ko	세계

en	World selection
ko	세계 선택

en	Worlds
ko	세계

en	You need to install the <g7>Okapi filters plugin for OmegaT</g7><g8></g8><e11/> to make OmegaT parse Markdown files.
ko	오메가T로 마크다운 파일을 구문 분석 하려면 <g7>오메가T를 위한 오카피(Okapi) 필터 플러그인</g7><g8></g8><e11/>을 설치해야 됩니다.

en	You need to install the <g6>Okapi filters plugin for OmegaT</g6><g7></g7><e10/> to make OmegaT parse JSON files.
ko	오메가T로 JSON 파일을 구문 분석 하려면 <g6>오메가T를 위한 오카피(Okapi) 필터 플러그인</g6><g7></g7><e10/>을 설치해야 됩니다.

en	You need to install the <g6>Okapi filters plugin for OmegaT</g6><g7></g7><e10/> to make OmegaT parse Markdown files.
ko	오메가T로 마크다운 파일을 구문 분석 하려면 <g6>오메가T를 위한 오카피(Okapi) 필터 플러그인</g6><g7></g7><e10/>을 설치해야 됩니다.

en	back to games selection
ko	게임 선택하러 돌아가기

en	back to world selection
ko	세계 선택하러 돌아가기

en	close inventory
ko	인벤토리 닫기

en	information, Impressum, privacy policy
ko	정보, 관리자 정보, 사생활 정책

en	levels
ko	단계

en	next level
ko	다음 단계

en	none
ko	없음

en	previous level
ko	이전 단계

en	regular
ko	일반

en	relaxed
ko	완화됨

en	show inventory
ko	인벤토리 보기

en	tactics
ko	전략

en	used
ko	쓰임

en	view the Lean game server on GitHub
ko	깃허브에서 린 게임 서버 보기

en	view the Lean game server on Github
ko	깃허브에서 린 게임 서버 보기

en	🎉
ko	🎉