Acorn 是一個工具集還是一個產品？它到底是什麼？ Kevin (@lacker) 介紹了 Acorn 實際上是什麼，以及它對我們如何撰寫和驗證數學的重要性。