Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
引言
致谢
1.
初识 Lean
2.
Hello, World!
插曲：命题、证明与索引
3.
重载与类型类
4.
单子
5.
函子、应用函子与单子
6.
单子转换器
7.
依值类型编程
插曲：策略、归纳与证明
8.
编程、证明与性能
9.
后续学习
Source Code
Report Issues
