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