Exploring Formalisation in Lean 3: A Primer in Human-Readable Mathematics | DealShopping Deutschland

Exploring Formalisation in Lean 3: A Primer in Human-Readable Mathematics

~~58.84 EUR~~ 48.98 EUR 17% Off

Gesponsert

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11, Band 11)

Medimops DE

48.98 EUR

07-06-2026 06:35:43

Gesponsert

Exploring Formalisation

SpringerLink DE

58.84 EUR

07-06-2026 03:36:53