Lean으로 배우는 수학
  • 1. 소개
  • 2. 기초
  • 3. 논리
  • 4. 집합과 함수
  • 5. 초등 정수론
  • 6. 이산수학
  • 7. 구조체
  • 8. 계층 구조
  • 9. 군과 환
  • 10. 선형대수학
  • 11. 위상수학
  • 12. 미분 계산법
  • 13. 적분과 측도론
  • 색인
Lean으로 배우는 수학
  • 검색

© Copyright 2020-2025, Jeremy Avigad, Patrick Massot. 원문 텍스트 CC BY 4.0; 비공식 한국어 번역.

Built with Sphinx using a theme provided by Read the Docs.