將定理證明器 Acorn 與 Lean 進行比較,@lacker - 哪一個更容易使用?