Vergleich des Theorembeweiser Acorn mit Lean mit @lacker - welcher ist einfacher zu verwenden?