Acorn 是一个工具集还是一个产品？它到底是什么？ Kevin (@lacker) 讲解了 Acorn 实际上是什么，以及它对我们如何书写和验证数学的重要性。