Comparando o provador de teoremas Acorn com o Lean com @lacker - qual é mais fácil de usar?