Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
소개
2.
의존 타입 이론
3.
명제와 증명
4.
한정사와 동치
5.
택틱
6.
Lean과 상호작용하기
7.
귀납적 타입
8.
귀납법과 재귀
9.
구조체와 레코드
10.
타입 클래스
11.
변환 택틱 모드
12.
공리와 계산
Source Code
Report Issues
