Lean for Python Programmers

Lessons

1. Introduction
2. Basics
3. Types
4. Functional Pipelines
5. I/O
6. A File Archiver
7. Matching Patterns
8. A Template Expander
9. A Database
10. Building Projects
11. Binary Data
12. Type Classes
13. Tools
14. Discrete Event Simulation
15. A Virtual Machine
16. Conclusion

Appendices

1. License
2. Code of Conduct
3. Contributing
4. Bibliography
5. Glossary
6. Monads
7. Proofs

start where you are · use what you have · help who you can