Att jämföra teorembevisaren Acorn med Lean med @lacker – vilket är enklast att använda?