Acornはツールセットですか、それとも製品ですか?それは本当に何なのでしょうか? Kevin (@lacker) は、Acorn が実際に何であるか、そしてそれが数学の書き方と検証方法にとってなぜ重要なのかを説明します。