I am thrilled to welcome Cameron Zwarich to the Lean FRO! As the brilliant creator of Rosetta 2 and an exceptional software developer with over 15 yea

Leonardo de Moura’s Post

submited by
Style Pass
2024-12-22 02:30:05

I am thrilled to welcome Cameron Zwarich to the Lean FRO! As the brilliant creator of Rosetta 2 and an exceptional software developer with over 15 years of experience at Apple specializing in low-level systems software, Cameron will focus on enhancing Lean's code generator. I can’t wait to see the incredible impact his expertise will have on the Lean ecosystem! #LeanLang #LeanProver #LeanFRO

Leave a Comment