This is an independently produced print-on-demand edition of Mathematics in Lean, thanks to the generous terms of the licenses established by the authors. It is not affiliated with, sponsored by, or endorsed by the authors or the Lean community.
This version is provided at the minimum possible cost allowed by the platform, with no added profit.
Details
- Publication Date
- Sep 9, 2026
- Language
- English
- Category
- Computers & Technology
- Copyright
- Some Rights Reserved - Creative Commons (CC BY)
- Contributors
- Selected by: Marco Faella
Specifications
- Pages
- 215
- Binding Type
- Paperback Coil Bound
- Interior Color
- Black & White
- Dimensions
- US Letter (8.5 x 11 in / 216 x 279 mm)