Är Acorn en verktygssats eller en produkt? Vad är det egentligen? Kevin (@lacker) går igenom vad Acorn faktiskt är och varför det är viktigt för hur vi skriver och verifierar matematik.