Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
Introduction
Acknowledgments
1.
Getting to Know Lean
2.
Hello, World!
Interlude: Propositions, Proofs, and Indexing
3.
Overloading and Type Classes
4.
Monads
5.
Functors, Applicative Functors, and Monads
6.
Monad Transformers
7.
Programming with Dependent Types
Interlude: Tactics, Induction, and Proofs
8.
Programming, Proving, and Performance
9.
Next Steps
Source Code
Report Issues
