<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. <0>여러분이 직접 게임을 작성할 생각이 있다면, <1>GameSkeleton 깃허브 저장소</1>를 양식[템플릿]으로 이용하고 <3>'게임 만들기(Creating a Game)'</3> 문서를 읽으십시오.</0><1>여러분이 작성한 게임을 직접 서버에서 불러오고, 정확한 URL을 이용해 그 게임을 하실 수 있습니다. <p>As this server runs lean on our university machines, it has a limited capacity. <p>이 서버는 저희 대학의 여러 컴퓨터에서 린을 실행하므로 그 이용량이 제한돼 있습니다. <p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory. <p>저장된 진도를 불가역적으로 삭제하시겠습니까?</p><p>(이를 선택하시면 증명과 인벤토리 안의 수집 항목들이 삭제됩니다. <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. <p>게임 규칙에 따라, 단계들을 건너뛰어도 되는지 그리고 증명을 작성할 때 잠금 해제가 된 전략과 정리만 이용할 수 있는지가 정해집니다.</p><1> 참고: '잠금 해제'가 된 전략이나 정리는 다음 두 부류로 정해집니다. (1) 해당 단계를 푸는 데 필요한 최소한의 전략이나 정리의 모임, (2) 다른 단계에서 잠금 해제를 한 전략이나 정리. <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! <p>저장된 게임 진도가 있는 JSON 파일을 선택해 진도를 불러오십시오.</p><1><0>경고:</0> 이를 실행하면 현재의 게임 진도가 삭제됩니다! A repository of learning games for the proof assistant <1>Lean</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5> <1>린(Lean 4)</1> 증명 보조기와 그 수학 라이브러리 <5>매스리브(mathlib)</5>를 학습하기 위한 게임들의 저장소 Active Goal 활성화된 목표 Adding new games 새 게임 추가하기 Always visible 항상 보임 Assumptions 가정 Auto 자동 CPU CPU Cancel 취소하기 Character 문자 Clear Progress 진도 없애기 Click somewhere in the Lean file to enable the infoview. 린 파일의 아무 곳이나 눌러 정보창을 여십시오. Consider <2>downloading your current progress</2> first!</1> <2>현재의 게임 진도</2>를 먼저 내려받을지 판단하십시오!</1> Contributing 기여하기 Contributions to the Korean translation of <g1>lean4game</g1> are always welcome! <g1>lean4game</g1>의 한국어 번역에 기여하는 활동은 언제든지 환영합니다! Crashed! 시스템 다운됨! Current Goal 현재 목표 Definitions 정의 Delete 삭제하기 Delete Progress? 진도를 삭제하시겠습니까? Desktop 데스크톱 Development notes 개발 노트 Download 내려받기 Download & Delete 내려받고 삭제하기 Download Progress 진도 내려받기 Editor mode 편집기 모드 Editor mode is enforced! 편집기 모드가 강제됐습니다! English | <g1>한국어[Korean]</g1> [English (영어)](./README.md) | 한국어 Erase 지우기 Execute 실행하기 Failed command 실패한 명령 Feel free to file a <1>GitHub Issue</1> about any problems you experience!</1> 문제를 겪으면 거리낌 없이 <1>깃허브 이슈</1>를 제출해 주세요!</1> Funding 재정 지원 Further Goals 이후 목표 Game Info 게임 정보 Game Info & Credits 게임 정보 및 제작자 명단 Game Introduction 게임 소개 Game Rules 게임 규칙 Go to editor mode and fix your proof! 편집기 모드에서 증명을 고치십시오! Goal 목표 Home 홈 I (<g1>Bulhwi Cha</g1><g2></g2><e8/>) use <g3>OmegaT</g3><g4></g4><e9/> to translate English documentation into Korean. 저(<g1>차불휘</g1><g2></g2><e8/>)는 <g3>오메가T(OmegaT)</g3><g4></g4><e9/>를 이용해 영어 문서를 한국어로 번역합니다. I (<g1>Bulhwi Cha</g1><g2></g2><e9/>) use <g3>OmegaT</g3><g4></g4><e10/> to translate English documentation into Korean. 저(<g1>차불휘</g1><g2></g2><e9/>)는 <g3>오메가T(OmegaT)</g3><g4></g4><e10/>를 이용해 영어 문서를 한국어로 번역합니다. Impressum 관리자 정보 Intro 소개 Introduction 소개 Inventory 인벤토리 Korean Translation 한국어 번역 Language 언어 Last server response: 마지막 서버 응답: Layout 레이아웃 Lean 4 Game 린 4 게임 Lean Game Server 린 게임 서버 Leave World 세계에서 나가기 Level 단계 Level completed with warnings 🎭 경고 있는 채로 단계 완료 🎭 Level completed! 단계 완료! Levels 단계 Line 줄 Load Progress from JSON JSON에서 진도 불러오기 Load selected file 선택한 파일 열기 Loading goal… 목표 불러오는 중… Loading messages… 메시지 불러오는 중… Mobile 모바일 Next 다음 No Games loaded. 불러온 게임 없음. No Goals 목표 없음 Not available in this level 이 단계에서 쓸 수 없음 Not unlocked yet 아직 잠금 해제가 안 됨 Objects 객체 Our current estimate is about 70 simultaneous games. 현재 이 서버로 최대 70게임을 동시에 실행할 수 있는 것으로 추정됩니다. Please get in contact and we'll happily add yours.</p> 저희에게 연락하시면 여러분의 게임을 기꺼이 추가하겠습니다. Preferences 기본 설정 Prerequisites 선행 요건 Previous 이전 RAM 램 Retry 다시 시도하기 Retry proof from here 여기부터 증명 다시 시도하기 Rules 규칙 Save my settings (in the browser store) (브라우저에) 설정 저장하기 Saves from other games are not deleted.)</p> 다른 게임에 저장된 정보는 삭제되지 않습니다.)</p> Server capacity 서버 이용량 Show more help! 도움말 더 보기! Start 시작하기 Tactics 전략 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> 따라서 여러분이 <1>simp</1> 전략을 잠금 해제 하면, 그 뒤로 어느 단계에서든 이 전략을 이용할 수 있습니다.</1><p>선택할 수 있는 게임 규칙은 다음과 같습니다.</p> The <1>instructions above</1> also explain the details for how to load your game to the server. 여러분의 게임을 서버에서 불러오는 방법에 관한 세부 사항도 위의 <1>설명서</1>에 나와 있습니다. The OmegaT project is in the <g5><g6>omegat</g6></g5> directory. 오메가T 프로젝트는 <g5><g6>omegat</g6></g5> 디렉터리에 있습니다. The OmegaT project is in this directory, that is, <g5>client/public/locales/ko</g5>. 오메가T 프로젝트는 이 디렉터리, 다시 말해 <g5>client/public/locales/ko</g5>에 있습니다. Theorems 정리 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. 이 서버는 뒤셀도르프의 하인리히-하이네 대학에서 진행하는 <1>'아담(ADAM): 수학의 디지털 시대 준비하기'</1> 프로젝트의 일환으로 개발됐습니다. Typewriter mode 타자기 모드 Upload 업로드 Upload Saved Progress 저장된 진도 업로드 Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder. <1>http://localhost:3000/#/g/local/FOLDER</1>를 이용해 지역[로컬] 폴더에서 게임을 직접 여십시오. Waiting for Lean server to start… 린 서버가 시작하기를 기다리는 중… 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. 미래에 저희가 서버 이용량 한계에 더 잘 대처하고 그 값을 보다 정확히 측정할 수 있기를 바랍니다.</p><1>게임과 그 기반 시설의 상당 부분은 여전히 개발 중입니다. We'd like to encourage you to contact us if you have any questions.</1><p>Featured games on this page are added manually. 궁금한 점이 있으면 저희에게 연락해 주십시오.</1><p>이 페이지에 실린 게임들은 수동으로 추가됐습니다. World 세계 World selection 세계 선택 Worlds 세계 You need to install the <g7>Okapi filters plugin for OmegaT</g7><g8></g8><e11/> to make OmegaT parse Markdown files. 오메가T로 마크다운 파일을 구문 분석 하려면 <g7>오메가T를 위한 오카피(Okapi) 필터 플러그인</g7><g8></g8><e11/>을 설치해야 됩니다. You need to install the <g6>Okapi filters plugin for OmegaT</g6><g7></g7><e10/> to make OmegaT parse JSON files. 오메가T로 JSON 파일을 구문 분석 하려면 <g6>오메가T를 위한 오카피(Okapi) 필터 플러그인</g6><g7></g7><e10/>을 설치해야 됩니다. You need to install the <g6>Okapi filters plugin for OmegaT</g6><g7></g7><e10/> to make OmegaT parse Markdown files. 오메가T로 마크다운 파일을 구문 분석 하려면 <g6>오메가T를 위한 오카피(Okapi) 필터 플러그인</g6><g7></g7><e10/>을 설치해야 됩니다. back to games selection 게임 선택하러 돌아가기 back to world selection 세계 선택하러 돌아가기 close inventory 인벤토리 닫기 information, Impressum, privacy policy 정보, 관리자 정보, 사생활 정책 levels 단계 next level 다음 단계 none 없음 previous level 이전 단계 regular 일반 relaxed 완화됨 show inventory 인벤토리 보기 tactics 전략 used 쓰임 view the Lean game server on GitHub 깃허브에서 린 게임 서버 보기 view the Lean game server on Github 깃허브에서 린 게임 서버 보기 🎉 🎉