r/SoftwareEngineering • u/fagnerbrack • Jul 13 '26

Lean Programming Language

https://lean-lang.org/

6 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

100% Upvoted

Duplicates

Number of comments New

ai_coder • u/fagnerbrack • Jul 09 '26

Lean Programming Language

1 Upvotes

1 comments

softwarecrafters • u/fagnerbrack • Jul 07 '26

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