Lean용 .gitignore
저장소에 바로 복사할 수 있는 Lean 제외 규칙 1개.
함수형 언어 및 대화형 정리 증명기
Lean용 전체 .gitignore
# LFGitignore로 생성 - https://lfgitignore.com
# 생성일: 2026-10-13 16:12:08 UTC
# 기술: Lean
### Lean ###
# Lean Lake 빌드 캐시 및 산출물
.lake/
이 Lean 규칙이 실제로 제외하는 항목
아래에서 각 패턴과 .gitignore에 포함하는 이유를 확인하세요.
일반
| 패턴 | 제외 대상 |
|---|---|
.lake/ |
Lean Lake 빌드 캐시 및 산출물 |
이 Lean용 .gitignore 사용 방법
- 위의 Lean 규칙을 복사하거나 파일을 바로 다운로드하세요.
- Git 저장소 루트에 .gitignore라는 파일을 만들고 규칙을 붙여 넣으세요.
- 이미 추적 중인 파일이 있다면 git rm -r --cached . 명령을 실행한 다음 다시 커밋하세요. Git은 추적하지 않는 파일에만 제외 규칙을 적용합니다.
- 팀원 모두가 같은 규칙을 사용하도록 .gitignore를 커밋하세요.