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)

48.98 EUR 17% Off 58.84 EUR

Marke: Clara Löh

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-17%

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)

48.98 EUR 58.84 EUR

11-06-2026 03:19:25

Access to the deal

58.84 EUR 58.84 EUR

10-06-2026 10:41:00

Access to the deal