Aristotele formalizza la solidità FRI in @leanprover 🔥