Aristotle is now on @leanprover 4.28 Happy vibe proving!