¿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 cómo escribimos y verificamos matemáticas.