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