Skip to content

Latest commit

 

History

History
21 lines (15 loc) · 1.2 KB

File metadata and controls

21 lines (15 loc) · 1.2 KB

lean-notes

English (영어) | 한국어

제가 참고용으로 작성한 짧은 린 코드를 이 저장소에 모아 놨습니다. 아파치 라이선스, 버전 2.0의 조건에 따라 이 저작물을 재이용할 수 있습니다.

오메가T(OmegaT)를 이용해 영어 문서를 한국어로 번역했습니다. 오메가T 프로젝트는 docs 디렉터리에 있습니다. 오메가T로 마크다운 파일을 구문 분석 하려면 오메가T를 위한 오카피(Okapi) 필터 플러그인을 설치해야 됩니다.

디렉터리

  • 린 코드: Notes
    • Anselm: 신의 존재에 대한, 안셀무스의 존재론적 논증.
    • CategoryMistake: 범주 실수의 예.
    • CYSEM: 아동·청소년 성 착취물 재정의하기.
    • PropositionalLogic: 직관주의 명제 논리를 위한 힐베르트 체계의 변종.
  • 문서: docs
    • 영어: en
    • 한국어: ko