¿Es Acorn un conjunto de herramientas o un producto? ¿Qué es, realmente? Kevin (@lacker) explica qué es realmente Acorn y por qué es importante para la forma en que escribimos y verificamos las matemáticas.