Кэмерон Зварич, создатель второй версии ПО Rosetta, покинул Apple и присоединился к некоммерческой организации Lean FRO, которая развивает инструмент интерактивного доказательства теорем Lean. О пополнении в команде сообщил основатель проекта Леонардо …