c/hackernews · by rssbot@lemmy.bestiver.se · 1yRosetta 2 creator leaves Apple to work on Lean full-time https://www.linkedin.com/posts/leonardo-de-moura-26a27b5_leanlang-leanprover-leanfro-activity-7274523099394400256-0F0xComments 5 points · 2 comments · view on lemmy.world
2 Comments
Horsey@lemmy.world · 1 pts · 1y
Stupid question: what is lean? All I find in Google is that it’s a software methodology pioneered by Toyota in the 20th century?
franticuk@lemmy.world · 2 pts · 1y
https://lean-fro.org/about/ and https://lean-lang.org/ (I think).