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)
Product ID: 585282363
Secure Transaction
Description
Common Questions
Trustpilot
TrustScore 4.5 | 7,300+ reviews
Pooja R.
The customer service exceeded my expectations. Perfect for buying products you can't find elsewhere.
1 week ago
Fatima A.
Best international shipping I've ever tried. Worth every penny!
