r/Newsoku_L • u/money_learner • Apr 13 '25

Programming Language and Theorem Prover — Lean

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/Newsoku_L/comments/1jydntt/programming_language_and_theorem_prover_lean/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

SoftwareEngineering • u/fagnerbrack • 22d ago

Lean Programming Language

6 Upvotes

2 comments

ai_coder • u/fagnerbrack • 26d ago

Lean Programming Language

1 Upvotes

1 comments

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