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
This is phenomenal! I am so happy for everyone including Cameron. This makes my week.
To view or add a comment, sign in