Создатель Rosetta 2 покинул Apple, чтобы полностью посвятить себя работе над Lean
habr.comКэмерон Зварич, создатель второй версии ПО Rosetta, покинул Apple и присоединился к некоммерческой организации Lean FRO, которая развивает инструмент интерактивного доказательства теорем Lean.
О пополнении в команде сообщил основатель проекта Леонардо де Моура.«Я рад приветствовать Кэмерона Зварича в Lean FRO! Кэмерон — блестящий создатель Rosetta 2 и потрясающий разработчик, специализирующийся на низкоуровневом системном программном обеспечении, с опытом работы в Apple более 15-ти лет.
