Porovnání dokazovatele vět Acorn s Lean s @lacker – který je jednodušší na použití?