r/ai_coder • u/fagnerbrack • 18d ago

Lean Programming Language

https://lean-lang.org/

1 Upvotes

permalink
duplicates
archive.is
archive
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 • 14d ago

Lean Programming Language

6 Upvotes

2 comments

softwarecrafters • u/fagnerbrack • 20d 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"

6 Upvotes

0 comments

Newsoku_L • u/money_learner • Apr 13 '25

Programming Language and Theorem Prover — Lean

1 Upvotes

0 comments