batteries

(★ 417)

The "batteries included" extended library for the Lean programming language and theorem prover

파일 탐색기

최종 버전 다운로드 (.zip)
  • .gitignore
  • .gitpod.yml
  • Batteries.lean
  • bors.toml
  • lake-manifest.json
  • lakefile.toml
  • lean-toolchain
  • LICENSE
  • README.md

# 설치 가이드

1. 코드 내려받기
git clone https://github.com/leanprover-community/batteries

깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.

cd batteries

방금 내려받은 프로젝트 폴더 안으로 이동합니다.

2. 공식 설치 스크립트

쉬움 추천
curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh

공식 설치 스크립트를 다운로드해서 바로 실행합니다. 이 한 줄로 필요한 게 자동으로 설치됩니다.

✅ 설치 후 새 터미널을 열고, 프로그램의 버전 확인 명령(예: --version)으로 정상 설치됐는지 확인하세요.

이 레포의 README에 적힌 실제 명령어를 그대로 가져왔습니다.

3. Docker

쉬움
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Docker Desktop 컨테이너를 빌드하고 실행하려면 필요합니다. 설치 후 실행해서 백그라운드에 켜두세요.
⚠️ 이 프로젝트는 규모가 큰 저장소라, 이 방법이 실제 핵심 제품이 아니라 내부 하위 패키지를 가리키는 것일 수 있습니다. README 전체를 함께 확인해보세요.
docker build -f .docker/gitpod/Dockerfile -t batteries .

Dockerfile을 기반으로 실행 가능한 이미지를 빌드합니다.

docker run -p 8080:80 batteries

빌드된 이미지를 실제 컨테이너로 실행합니다.

✅ 터미널에 docker compose ps 를 입력해 컨테이너들이 Up 상태인지 확인하세요. README에 포트 번호가 적혀있다면 브라우저에서 http://localhost:포트번호 로 접속해보세요.

오늘의 추천 프로젝트

FreeDomain ★ 194,714

DigitalPlat FreeDomain: Free Domain For Everyone

Markdown
javascript-algorithms ★ 196,529

📝 JavaScript로 구현한 알고리즘과 자료 구조 모음으로, 상세한 설명과 추가 읽기 자료 링크를 제공합니다.

JavaScript
markitdown ★ 175,168

파일 및 오피스 문서를 Markdown으로 변환하는 Python 도구입니다.

Python
terminal ★ 104,654

새로운 Windows Terminal과 기존 Windows 콘솔 호스트가 모두 한곳에 모여 있습니다!

C++
LlamaFactory ★ 74,279

100개 이상의 LLM 및 VLM을 위한 통합 고효율 파인튜닝 (ACL 2024)

Python
react ★ 247,532

웹 및 네이티브 사용자 인터페이스를 만들기 위한 라이브러리입니다.

JavaScript
// repository documentation