r/SoftwareEngineering • u/fagnerbrack • 9d 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

Duplicates

Number of comments New

ai_coder • u/fagnerbrack • 13d ago

Lean Programming Language

1 Upvotes

1 comments

softwarecrafters • u/fagnerbrack • 15d ago

Lean Programming Language

1 Upvotes

1 comments

altprog • u/unquietwiki • Jul 31 '25

"Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code"

5 Upvotes

0 comments

Newsoku_L • u/money_learner • Apr 13 '25

Programming Language and Theorem Prover — Lean

1 Upvotes

0 comments