minus-squarefranticuk@lemmy.worldtoHacker News•Rosetta 2 creator leaves Apple to work on Lean full-timelinkfedilinkEnglisharrow-up2·3 days agohttps://lean-fro.org/about/ and https://lean-lang.org/ (I think). linkfedilink
https://lean-fro.org/about/ and https://lean-lang.org/ (I think).