Login
Roast topics
Find topics
Find it!
From:
Lean Language
(Uncensored)
subscribe
Lean enables correct, maintainable, and formally verified code
https://lean-lang.org/
links
backlinks
Roast topics
Find topics
Roast it!
Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.
