Het vergelijken van de theorem prover Acorn met Lean met @lacker - welke is gemakkelijker te gebruiken?