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.
Dettagli
- Data di pubblicazione
- Sep 9, 2026
- Lingua
- English
- Categoria
- Computer & tecnologia
- Copyright
- Alcuni diritti riservati - Creative Commons (CC BY)
- Collaboratori
- Scelto da: Marco Faella
Specifiche
- Pagine
- 215
- Tipo di rilegatura
- Libro a copertina morbida Rilegatura a spirale
- Colore del contenuto
- Bianco e nero
- Dimensioni
- Lettera US (216 x 279 mm)