Is Acorn een gereedschapsset of een product? Wat is het eigenlijk? Kevin (@lacker) legt uit wat Acorn daadwerkelijk is en waarom het belangrijk is voor hoe we wiskunde schrijven en verifiëren.