agda-unimath

(★ 312)

The agda-unimath library

파일 탐색기

최종 버전 다운로드 (.zip)

파일 수가 많아 일부만 표시됩니다. 전체 파일은 위 다운로드 버튼으로 확인해 주세요.

  • .editorconfig
  • .gitattributes
  • .gitignore
  • .pre-commit-config.yaml
  • .prettierrc.json
  • agda-unimath.agda-lib
  • book.toml
  • CITATION.cff
  • CONTRIBUTING.md
  • CONTRIBUTORS.toml
  • flake.lock
  • flake.nix
  • LICENSE.md
  • Makefile
  • README.md
  • references.bib

# 설치 가이드

1. 코드 내려받기
git clone https://github.com/UniMath/agda-unimath

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

cd agda-unimath

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

2. Python

쉬움 추천
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Python 3 설치 시 'Add Python to PATH' 옵션을 꼭 체크하세요 (Windows).
pip install -r scripts/requirements.txt

requirements.txt 등에 명시된 파이썬 라이브러리를 설치합니다.

python <실행할 파일명>.py # README에서 정확한 실행 파일명을 확인하세요

파이썬 스크립트(또는 모듈)를 실행합니다.

✅ 에러 메시지 없이 실행되고 터미널에 안내 문구가 출력되면 정상입니다.

3. Make

보통
사전 준비물
  • Git GitHub에서 프로젝트 코드를 내려받으려면 필요합니다.
  • Make Linux/macOS는 보통 기본 설치되어 있습니다. Windows는 별도 설치(예: MSYS2, WSL)가 필요합니다.
make

생성된 빌드 설정을 바탕으로 실제 컴파일을 진행해 실행 파일을 만듭니다.

✅ 에러 없이 끝나면 성공입니다. 생성된 실행 파일을 직접 실행해보세요.

오늘의 추천 프로젝트

transformers ★ 164,305

🤗 Transformers: 텍스트, 비전, 오디오, 멀티모달 분야의 최첨단(state-of-the-art) 머신러닝 모델을 추론(inference)과 학습(tr

Python
ant-design ★ 99,135

기업용 UI 디자인 언어 및 React UI 라이브러리

TypeScript
deepseek-harness ★ 179,877

DeepSeek Harness: Everything is a Plugin.

TypeScript
supabase ★ 108,234

Postgres 개발 플랫폼. Supabase는 웹, 모바일, AI 애플리케이션을 구축할 수 있는 전용 Postgres 데이터베이스를 제공합니다.

TypeScript
reveal.js ★ 72,157

HTML 프레젠테이션 프레임워크

JavaScript
build-your-own-x ★ 541,774

좋아하는 기술을 밑바닥부터 직접 구현하며 프로그래밍을 마스터하세요.

Markdown
// repository documentation