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

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

~~60.49 EUR~~ 54.90 EUR 9% Off

Gesponsert

Exploring Formalisation

preigu.de

54.90 EUR

23-07-2026 08:07:43

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

58.84 EUR

24-07-2026 13:47:57

Gesponsert

Exploring Formalisation

SpringerLink DE

60.49 EUR

24-07-2026 11:13:50