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
