Å sammenligne teorembeviseren Acorn med Lean med @lacker – hvilken er enklere å bruke?