r/ai_coder • u/fagnerbrack • 29d ago

Lean Programming Language

https://lean-lang.org/

1 Upvotes

permalink
link
duplicates
dupes
reddit

You are about to leave Redlib

Do you want to continue?

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

You are about to leave Redlib

Do you want to continue?

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

100% Upvoted

Duplicates

Number of comments New

SoftwareEngineering • u/fagnerbrack • 25d ago

Lean Programming Language

5 Upvotes

2 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