Exploring Formalisation A Primer In Human Readable Mathematics In Lean | Desertcart Paraguay
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)
ID del producto: 585282363
Transacción segura
Comprados juntos con frecuencia
Descripción
Preguntas comunes
Trustpilot
Trustscore 4.5 | Más de 7,300 reseñas
Rajesh P.
El servicio al cliente fue excelente cuando tuve preguntas sobre el producto.
Hace 2 días
Por Vikram D.
La funda MOLLE es de una calidad excepcional. Estoy muy satisfecho con mi compra.