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
