Compararea demonstratorilor de teoreme Acorn cu Lean cu @lacker - care este mai ușor de folosit?