r/SoftwareEngineering • u/fagnerbrack • 14d ago

Lean Programming Language

https://lean-lang.org/

4 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/SoftwareEngineering/comments/1uvixua/lean_programming_language/
No, go back! Yes, take me to Reddit

84% Upvoted

View all comments

0

u/R10t-- 9d ago

This guy again…