Rosetta 2 creator leaves Apple to work on Lean full-time
https://www.linkedin.com/posts/leonardo-de-moura-26a27b5_leanlang-leanprover-leanfro-activity-7274523099394400256-0F0xOpen linkView original on lemmy.bestiver.seSyndicated from the fediverse. Read and engage on the original instance.
View original on lemmy.bestiver.sehttps://www.linkedin.com/posts/leonardo-de-moura-26a27b5_leanlang-leanprover-leanfro-activity-7274523099394400256-0F0xOpen linkView original on lemmy.bestiver.se
2 replies
Stupid question: what is lean? All I find in Google is that it’s a software methodology pioneered by Toyota in the 20th century?
https://lean-fro.org/about/ and https://lean-lang.org/ (I think).