Acorn est-il un ensemble d'outils ou un produit ? Qu'est-ce que c'est, vraiment ? Kevin (@lacker) explique ce qu'est réellement Acorn et pourquoi cela compte pour la façon dont nous écrivons et vérifions les mathématiques.